Gary is young. Harry is nice. Harry is round. All quiet things are smart. All kind things are nice. Nice things are quiet.
Harry is not quiet.
@0: Gary is young.[(triple1)] Harry is nice.[(triple2)] Harry is round.[(triple3)] @1: Harry is quiet.[(((triple2) -> rule3))] @2: Harry is smart.[(((((triple2) -> rule3)) -> rule1))]