premise: Bobby has not visited Kalamazoo, Rick has not visited Connecticut, Kevin has visited Central Falls and if Rick has not visited Connecticut then Kurt has not visited Falls Church
hypothesis: Kurt has not visited Falls Church