Se João não estudou, então ele foi mal na prova de Matemática. Se João foi surfar, então ele não estudou. João não foi mal na prova de Matemática. Logo:
João foi surfar.
João não estudou.
João não foi surfar.
João foi surfar e estudou.
João não foi surfar e não estudou.
