Sabe-se que:

Se João anda de navio ou não anda de trem, então João se perde.
Se João anda de trem, então João é paulista.
Se João não poupa, então João anda de navio.

Assim, se João não se perde, então João