Anne is cold. Charlie is green. Charlie is nice. Charlie is red. Gary is big. Gary is not cold. Gary is not red. Harry is big. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Nice, green things are big. If something is red and quiet then it is nice. If Charlie is rough and Charlie is not red then Charlie is cold. If Charlie is cold then Charlie is quiet. If something is not big then it is not red. If something is not cold then it is green.
Charlie is green.