premise: Eugene has not visited Clifton, Sergio has visited Redlands, Alexander has not visited San Diego and if Alexander has visited San Diego then Terry has visited Peterborough
hypothesis: Terry has visited Peterborough