premise: Jimmy has not visited Mesquite, Dustin has visited Pocatello, Edgar has not visited San Francisco and if Edgar has not visited San Francisco then Andre has visited Gainesville
hypothesis: Andre has visited Gainesville