premise: Alfredo has visited Culver City, Ron has not visited Waco, Gilbert has visited Abington and if Alfredo has visited Culver City then Antonio has visited Grand Island
hypothesis: Antonio has not visited Grand Island