premise: Theodore has not visited Boulder, Roberto has visited Lower Southampton, Ted has not visited Santa Clara and if Ted has not visited Santa Clara then Derrick has visited Southington
hypothesis: Derrick has visited Southington