premise: Francisco has not visited Old Saybrook, Norman has not visited Idaho City, Philip has visited Johnstown and if Francisco has not visited Old Saybrook then Leon has visited New Mexico
hypothesis: Leon has visited New Mexico