premise: Douglas has not visited Cleveland, Kirk has visited Eastport, Willard has not visited Winslow and if Willard has not visited Winslow then Philip has not visited Melbourne
hypothesis: Philip has not visited Melbourne