premise: Todd has not visited New Castle, Derrick has visited Long Branch, Norman has not visited Prairie du Chien and if Norman has not visited Prairie du Chien then Leroy has visited Santa Ana
hypothesis: Leroy has not visited Santa Ana