premise: Jeremy has not visited Liberal, Christian has visited Tiverton, Peter has not visited Bozeman and if Peter has visited Bozeman then Ruben has visited Cleveland Heights
hypothesis: Ruben has not visited Cleveland Heights