premise: Alexander has not visited Winter Haven, Tommy has not visited Eufaula, Juan has visited Normal and if Alexander has visited Winter Haven then Willie has visited Glenview
hypothesis: Willie has not visited Glenview