Se chove, então faz frio. Se faz frio, então João toma chocolate quente. Sabe-se que João não toma chocolate quente. Portanto, é válido concluir que:
Chove em Porto Alegre.
João toma refrigerante.
Chove em Campo Bom.
Faz frio e chove.
Não faz frio e não chove.
