Bob is green. Bob is kind. Bob is red. If someone is red then they are blue. If Bob is blue and Bob is kind then Bob is furry.
Bob is round.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] @1: Bob is blue.[(((triple3) -> rule1))] @2: Bob is furry.[(((((triple3) -> rule1) triple2) -> rule2))]