premise: Lester has not visited Midwest City, Neil has visited Herrin, Antonio has not visited Milledgeville and if Antonio has visited Milledgeville then Hector has visited Priest River
hypothesis: Hector has not visited Priest River