premise: Antonio has not visited Spokane, Leon has not visited Peekskill, Christopher has visited Rexburg and if Antonio has not visited Spokane then Eugene has visited Burlington
hypothesis: Eugene has not visited Burlington