premise: Daryl has not visited Somersworth, Terrance has visited Hot Springs, Neil has visited Central Falls and if Neil has visited Central Falls then Tommy has visited Santa Barbara
hypothesis: Tommy has visited Santa Barbara