premise: Duane has not visited South Saint Paul, Albert has visited Johnstown, Nelson has not visited Sheffield and if Nelson has visited Sheffield then Shawn has visited Cheyenne
hypothesis: Shawn has not visited Cheyenne