premise: Juan has not visited Menlo Park, Jeffery has not visited Seward, Anthony has visited South Hadley and if Juan has visited Menlo Park then Theodore has visited Southampton
hypothesis: Theodore has visited Southampton