premise: Milton has not visited Excelsior Springs, Willard has not visited Anaheim, Zachary has visited Newark and if Milton has visited Excelsior Springs then Francis has visited Fort Smith
hypothesis: Francis has not visited Fort Smith