Gary is not nice. All quiet, green things are kind. If Gary is smart and Gary is nice then Gary is quiet. If Gary is cold and Gary is not smart then Gary is kind.
Gary is not kind.
@0: Gary is not nice.[(triple1)]