Se João não anda a pé, então ele é magro. Se João anda a pé, então ele anda de carro. Se João não é magro, então ele não anda de carro. Se João anda de carro, então ele não é magro. Sabe-se, portanto, que João