Bob is round. Dave is young. Gary is furry. Red things are kind. All furry things are red. If something is red and kind then it is green.
Bob is kind.
@0: Bob is round.[(triple1)] Dave is young.[(triple2)] Gary is furry.[(triple3)] @1: Gary is red.[(((triple3) -> rule2))] @2: Gary is kind.[(((((triple3) -> rule2)) -> rule1))] @3: Gary is green.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule1)) -> rule3))]