Gary is nice. All smart, quiet things are nice. Cold, nice things are green. All white things are green. Rough things are quiet. If Gary is nice then Gary is quiet. All rough, cold things are white.
Gary is nice.
@0: Gary is nice.[(triple1)] @1: Gary is quiet.[(((triple1) -> rule5))]