Considere as seguintes proposições lógicas:

• Se Mauro não está endividado, então seu carro está na funilaria.

• Se Silvano foi de ônibus para o trabalho, então sua moto está na oficina mecânica.

• Se o carro de Mauro está na funilaria ou a moto de Silvano está na oficina mecânica, então haverá pelo menos uma vaga livre na empresa para que Janaína estacione seu carro.

Se não havia vagas livres na empresa para que Janaína estacionasse seu carro, é correto concluir, logicamente, que Mauro