premise: Howard has not visited Eastpointe, Jonathan has visited Tucumcari, Jerry has not visited Virginia City and if Jerry has not visited Virginia City then Marvin has visited Kapaa
hypothesis: Marvin has not visited Kapaa