“Se o indivíduo estiver sempre de férias, então ele trabalha com o que gosta” é uma proposição equivalente à declaração de Mário.