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