premise: Clinton has not visited Redding, Joshua has visited Huntington, Alexander has not visited Minot and if Alexander has not visited Minot then Clifford has visited Klamath Falls
hypothesis: Clifford has not visited Klamath Falls