premise: Julio has not visited Oskaloosa, Aaron has visited Mississippi, Sean has not visited Somerville and if Sean has not visited Somerville then Eugene has not visited Poughkeepsie
hypothesis: Eugene has not visited Poughkeepsie