premise: Everett has not visited Hayward, Rodney has not visited Bellevue, Jeffrey has visited Saint Johnsbury and if Everett has not visited Hayward then Bill has not visited Ithaca
hypothesis: Bill has not visited Ithaca