premise: Johnnie has not visited Garland, Ted has visited Fort Walton Beach, George has visited Lovington and if George has visited Lovington then Francisco has visited Chelmsford
hypothesis: Francisco has not visited Chelmsford