premise: Curtis has not visited Corona, Russell has visited San Juan Capistrano, Philip has visited South Hadley and if Philip has visited South Hadley then Andre has visited North Kingstown
hypothesis: Andre has not visited North Kingstown