premise: Clifton has not visited West New York, Phillip has visited Mundelein, Duane has not visited Amsterdam and if Duane has not visited Amsterdam then Edward has not visited Waterford
hypothesis: Edward has not visited Waterford