premise: Ernest has not visited Xenia, Gerald has visited Maryville, Darrell has visited Great Falls and if Darrell has visited Great Falls then Tyrone has visited Somersworth
hypothesis: Tyrone has not visited Somersworth