premise: Antonio has not visited Morristown, Jesus has visited Washington, Miguel has not visited Batesville and if Miguel has not visited Batesville then Anthony has not visited Indianapolis
hypothesis: Anthony has not visited Indianapolis