Anne is cold. Anne is kind. Anne is quiet. Anne is red. Gary is cold. Gary is quiet. Gary is white. If something is not smart then it is green. All kind things are quiet. If something is cold and green then it is red. If Gary is white and Gary is kind then Gary is green. Smart, kind things are not red. If something is not quiet then it is red. If Gary is kind and Gary is not quiet then Gary is white. If something is not red then it is cold.
Gary is smart.