premise: Jay has not visited Youngstown, Ronnie has not visited North Chicago, Alfredo has visited Selma and if Ronnie has not visited North Chicago then Harry has visited Washington
hypothesis: Harry has visited Washington