Considere os seguintes argumentos:
Ou Lucas vai estudar, ou ele vai à praia; Se Lucas vai à praia, então ele usa o carro; Se Lucas usar o carro, então ele vai precisar abastecer o carro; Se Lucas abastecer o carro, ele não vai economizar; Se Lucas não economizar, ele precisará fazer hora extra no seu trabalho.

Sabendo-se que Lucas NÃO precisou fazer hora-extra no seu trabalho, deduz-se logicamente que Lucas