Raciocínio Lógico

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