premise: Mark has not visited Shelbyville, Herman has visited Window Rock, Rene has visited Rock Springs and if Herman has visited Window Rock then Phillip has visited Watertown
hypothesis: Phillip has not visited Watertown