Anne is young. Bob is kind. Harry is young. All blue things are red. Kind, red things are green. If something is furry and kind then it is not green. Kind things are blue. If Harry is kind and Harry is green then Harry is young. If something is kind and young then it is smart.
Harry is young.
@0: Anne is young.[(triple1)] Bob is kind.[(triple2)] Harry is young.[(triple3)] @1: Bob is blue.[(((triple2) -> rule4))] @2: Bob is red.[(((((triple2) -> rule4)) -> rule1))] @3: Bob is green.[(((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule2))]