premise: George has not visited Burlington, Maurice has not visited South Carolina, Theodore has visited Huntsville and if George has visited Burlington then Sergio has visited Batesville
hypothesis: Sergio has visited Batesville