premise: Paul has not visited Williamstown, Javier has not visited New Philadelphia, Shane has visited Pittsburg and if Javier has not visited New Philadelphia then Danny has visited Oyster Bay
hypothesis: Danny has not visited Oyster Bay