premise: Marion has not visited Pottstown, Keith has not visited Monroeville, Vincent has visited Jacksonville and if Keith has not visited Monroeville then Ruben has not visited Oskaloosa
hypothesis: Ruben has not visited Oskaloosa