Gary is smart. If Gary is red then Gary is smart. If someone is red then they are quiet. Nice people are not quiet. Smart people are white. If Gary is nice then Gary is red. Cold, quiet people are not kind. If Gary is smart and Gary is kind then Gary is cold. If Gary is not white then Gary is quiet.
Gary is not cold.
@0: Gary is smart.[(triple1)] @1: Gary is white.[(((triple1) -> rule4))]