premise: Eugene has not visited Seward, Virgil has visited Eau Claire, Curtis has not visited Twin Falls and if Curtis has not visited Twin Falls then Francisco has visited Staten Island
hypothesis: Francisco has not visited Staten Island