premise: Darren has not visited Hope, Darrell has not visited State College, Sidney has visited Carson City and if Darren has not visited Hope then Terrence has visited Harrison
hypothesis: Terrence has not visited Harrison