Ou correr uma maratona é fácil, ou Henrique não gosta de correr uma maratona. Por outro lado, se correr 100 metros rasos não é difícil, então correr uma maratona é difícil. Daí segue-se que, se Henrique gosta de correr uma maratona, então: