premise: Theodore has not visited Greenwood, Dave has not visited Jacksonville, Derek has visited Virginia and if Theodore has visited Greenwood then Hugh has visited Salt Lake City
hypothesis: Hugh has not visited Salt Lake City