premise: Shawn has not visited Anderson, Julio has not visited Cape Girardeau, Keith has visited Clifton and if Julio has not visited Cape Girardeau then Antonio has not visited Lewiston
hypothesis: Antonio has not visited Lewiston