Dave is big. Dave is not blue. Dave is cold. Dave is nice. Dave is rough. Dave is young. Erin is not big. Erin is nice. Erin is rough. Erin is not young. Gary is blue. Gary is round. Harry is big. Harry is nice. Harry is round. All nice things are not blue. If Erin is cold then Erin is rough. All blue, nice things are big. Round things are rough. If something is big then it is round. If something is not rough then it is nice. If Harry is rough and Harry is not round then Harry is cold. If something is blue and not cold then it is big.
Dave is not nice.