premise: Darryl has not visited Parkersburg, Robert has not visited Lexington, Bradley has visited Moscow and if Robert has visited Lexington then Joshua has visited Winter Haven
hypothesis: Joshua has visited Winter Haven