Dave is rough. Erin is red. Gary is blue. Gary is red. Harry is cold. Harry is nice. Harry is not round. Cold, green people are rough. All rough people are nice. If Erin is not blue and Erin is not round then Erin is rough. If someone is cold then they are rough. Round people are red. If someone is not nice then they are not rough.
Dave is not red.