Bob is kind. Bob is smart. Harry is kind. If someone is kind and furry then they are round. All kind people are young. If Harry is young then Harry is furry.
Harry is not round.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Harry is kind.[(triple3)] @1: Bob is young.[(((triple1) -> rule2))] Harry is young.[(((triple3) -> rule2))] @2: Harry is furry.[(((((triple3) -> rule2)) -> rule3))] @3: Harry is round.[(((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule1))]