Dave is not big. Dave is cold. Dave is green. Dave is not nice. Dave is red. Dave is smart. Dave is young. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is smart. Harry is not big. Harry is nice. Harry is smart. Harry is not young. If something is smart and not big then it is red. If Gary is big then Gary is not young. All young things are smart. All young, red things are green. Nice, cold things are not big. If Harry is big and Harry is not red then Harry is young. If Gary is not green then Gary is young. If Harry is not smart then Harry is green.
Harry is cold.