premise: Shawn has not visited Corning, Daniel has not visited East Aurora, Hector has visited Gaffney and if Shawn has not visited Corning then Sean has visited New York City
hypothesis: Sean has not visited New York City