premise: Jeff has not visited Tillamook, Randall has visited South Charleston, Ricardo has visited Kawaihae and if Ricardo has visited Kawaihae then Vernon has visited Pass Christian
hypothesis: Vernon has visited Pass Christian