premise: Ruben has not visited East Cleveland, Derek has visited Orono, Marion has not visited Prairie du Chien and if Marion has visited Prairie du Chien then Felix has visited Harrisburg
hypothesis: Felix has visited Harrisburg