Gary is young. Harry is kind. Harry is nice. If something is young then it is nice. If something is kind then it is big. Big things are quiet.
Gary is not kind.
@0: Gary is young.[(triple1)] Harry is kind.[(triple2)] Harry is nice.[(triple3)] @1: Gary is nice.[(((triple1) -> rule1))] Harry is big.[(((triple2) -> rule2))] @2: Harry is quiet.[(((((triple2) -> rule2)) -> rule3))]