Na cidade de Pasárgada, todos os moradores possuem registro civil. João não possui registro criminal. José possui
registro civil. Pedro não possui registro criminal nem registro civil. Qualquer pessoa que possui registro civil
também possui registro criminal.
Nessas condições, podemos inferir logicamente que