premise: Alexander has not visited Talladega, Bryan has visited Peterborough, Marcus has not visited East Hampton and if Marcus has visited East Hampton then Alex has visited Carrollton
hypothesis: Alex has not visited Carrollton