premise: Steven has not visited Quincy, Reginald has not visited Jackson, Christian has visited Clifton and if Reginald has not visited Jackson then Clifford has visited Pacific Grove
hypothesis: Clifford has not visited Pacific Grove