Bob is kind. Harry is quiet. Harry is rough. If something is quiet and round then it is nice. If Harry is rough and Harry is quiet then Harry is young. All young things are round.
Bob is not young.
@0: Bob is kind.[(triple1)] Harry is quiet.[(triple2)] Harry is rough.[(triple3)] @1: Harry is young.[(((triple3 triple2) -> rule2))] @2: Harry is round.[(((((triple3 triple2) -> rule2)) -> rule3))] @3: Harry is nice.[(((triple2 ((((triple3 triple2) -> rule2)) -> rule3)) -> rule1))]