premise: Mike has not visited Valparaiso, Gordon has not visited Barberton, Norman has visited West Chester and if Gordon has not visited Barberton then Clyde has visited Priest River
hypothesis: Clyde has not visited Priest River