premise: Jerry has not visited Mackinaw City, Johnnie has not visited Plainfield, Rick has visited Levittown and if Johnnie has not visited Plainfield then Albert has visited North College Hill
hypothesis: Albert has visited North College Hill