premise: Antonio has not visited Stroudsburg, Ted has not visited Sausalito, Jeffrey has visited College Park and if Antonio has visited Stroudsburg then Claude has visited Lackawanna
hypothesis: Claude has visited Lackawanna