premise: Marshall has not visited Traverse City, Peter has not visited Bowling Green, Calvin has visited Piqua and if Marshall has not visited Traverse City then Elmer has visited Bellefontaine
hypothesis: Elmer has visited Bellefontaine