premise: Kevin has not visited Valdosta, Shawn has not visited Indianapolis, Claude has visited Swarthmore and if Kevin has visited Valdosta then Ben has visited Saint Marys City
hypothesis: Ben has visited Saint Marys City