# Juan tiene el gato. Falso por 1) y porque un animal no puede tener 2 dueños. Luego, por descarte, '''Juan tiene la cotorra'''.
Nótese que el ensayo y error excluye a [[inferencia]]s como "Si ''si Mario tiene la cotorra y Pedro el gato, Juan debe tener el perro'', por lo que el ensayo y verificación continúa hasta el final.