premise: Nathaniel has not visited Oklahoma City, Ross has not visited Hope, Eugene has visited West Springfield and if Ross has visited Hope then Alfred has visited Staten Island
hypothesis: Alfred has visited Staten Island