Anne is blue. Anne is cold. Anne is quiet. Anne is red. Anne is not smart. Charlie is not green. Charlie is quiet. Charlie is red. Charlie is smart. Gary is green. Gary is smart. Gary is young. Young things are red. If Gary is cold and Gary is smart then Gary is quiet. Smart things are young. If Charlie is blue then Charlie is young. If something is smart then it is quiet. If something is blue and not red then it is cold.
Gary is smart.