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