premise: Jessie has not visited San Francisco, Stephen has not visited East Greenwich, Don has visited Yuma and if Stephen has not visited East Greenwich then Ernest has visited Menominee
hypothesis: Ernest has not visited Menominee