Se chove, então faz frio. Se faz frio, então João toma choco...
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:
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: