premise: Eddie has not visited Murfreesboro, Ben has visited Middletown, Ray has not visited Jackson and if Ray has not visited Jackson then George has not visited Walla Walla
hypothesis: George has not visited Walla Walla