Bob is cold. Bob is green. Bob is kind. Erin is cold. Erin is green. Erin is nice. Gary is cold. Gary is young. Harry is nice. Harry is red. If something is green and cold then it is quiet. All cold things are green. If Bob is quiet then Bob is green. If something is cold and nice then it is red. Kind things are nice. If Harry is kind then Harry is green. Quiet, cold things are kind. All cold things are green.
Erin is not red.