premise: Eduardo has not visited De Smet, Philip has visited Newark, Nathaniel has not visited Anderson and if Nathaniel has not visited Anderson then Sean has visited Seneca Falls
hypothesis: Sean has not visited Seneca Falls