premise: Jeffrey has not visited Jim Thorpe, Dustin has not visited East Cleveland, Antonio has visited Hastings and if Dustin has visited East Cleveland then Peter has visited Sanford
hypothesis: Peter has visited Sanford