premise: Mark has not visited Jeannette, Leslie has visited Pensacola, Jimmy has not visited Plainview and if Jimmy has not visited Plainview then Dwight has not visited Kaskaskia
hypothesis: Dwight has not visited Kaskaskia