premise: Tommy has not visited Palo Alto, Terrence has visited Sandwich, Michael has not visited West Allis and if Michael has not visited West Allis then Rick has visited Chapel Hill
hypothesis: Rick has not visited Chapel Hill