Anne is cold. Gary is green. If something is not furry then it is smart. If something is cold then it is green. All young things are green. If Gary is green then Gary is smart. If something is not smart then it is cold. If something is green and not cold then it is not kind.
Anne is not cold.