premise: Juan has not visited Ipswich, Terrence has visited Lehi, Roy has not visited Guntersville and if Roy has not visited Guntersville then Dwight has visited Calumet City
hypothesis: Dwight has not visited Calumet City