premise: Thomas has not visited College Station, Randall has visited Columbia, Matthew has not visited Tewksbury and if Matthew has not visited Tewksbury then George has visited Grayling
hypothesis: George has not visited Grayling