premise: Lawrence has not visited Dallas, Frederick has visited South Kingstown, Pedro has visited Huntington and if Frederick has visited South Kingstown then Jordan has visited Vermillion
hypothesis: Jordan has visited Vermillion