Bob is cold. Bob is kind. Bob is round. If something is green and kind then it is big. If Bob is big then Bob is furry. Round things are green.
Bob is green.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3)] @1: Bob is green.[(((triple3) -> rule3))] @2: Bob is big.[(((((triple3) -> rule3) triple2) -> rule1))] @3: Bob is furry.[(((((((triple3) -> rule3) triple2) -> rule1)) -> rule2))]