Gary is rough. Harry is cold. Harry is kind. Quiet things are not nice. All white, rough things are nice. If Gary is not cold then Gary is nice. Kind things are furry. White things are quiet. If something is cold then it is white.
Harry is quiet.
@0: Gary is rough.[(triple1)] Harry is cold.[(triple2)] Harry is kind.[(triple3)] @1: Harry is furry.[(((triple3) -> rule4))] Harry is white.[(((triple2) -> rule6))] @2: Harry is quiet.[(((((triple2) -> rule6)) -> rule5))] @3: Harry is not nice.[(((((((triple2) -> rule6)) -> rule5)) -> rule1))]