premise: Jimmy has not visited Pipestone, Maurice has not visited Point Pleasant, Joe has visited Guntersville and if Jimmy has not visited Pipestone then Gabriel has not visited Clifton
hypothesis: Gabriel has not visited Clifton