Paulo, Pedro e João têm, cada um, uma única profissão. Sabe-se que:

• se Paulo é pedreiro, então Pedro não é porteiro;
• se Pedro não é porteiro, então João é encanador.

Com base nessas informações, sabendo-se que João não é encanador, conclui-se que