premise: Terrance has not visited Las Vegas, Leonard has visited Gila Bend, Shawn has visited San Juan Capistrano and if Leonard has visited Gila Bend then Walter has visited Steamboat Springs
hypothesis: Walter has not visited Steamboat Springs