“Paulo é paraense e Antônio é amazonense. Antônio é amazonense ou Miguel é amazonense. Se Miguel é amazonense, então João não é paraense. Ora, João é paraense”. Logo,
“Paulo é paraense e Antônio é amazonense. Antônio é amazonense ou Miguel é amazonense. Se Miguel é amazonense, então João não é paraense. Ora, João é paraense”. Logo,
