premise: Steven has not visited Winslow, George has not visited Carson City, James has visited Roseburg and if George has visited Carson City then Stephen has visited Eastpointe
hypothesis: Stephen has not visited Eastpointe