premise: Roberto has not visited Waco, Frederick has visited Wellesley, Edwin has not visited North Kingstown and if Edwin has not visited North Kingstown then Terry has not visited Mexico
hypothesis: Terry has not visited Mexico