Dave is cold. If something is cold then it is quiet. All quiet things are green. If Dave is cold and Dave is kind then Dave is furry. If Dave is kind and Dave is cold then Dave is big. If something is cold and green then it is blue. If something is kind then it is big.
Dave is cold.
@0: Dave is cold.[(triple1)] @1: Dave is quiet.[(((triple1) -> rule1))] @2: Dave is green.[(((((triple1) -> rule1)) -> rule2))] @3: Dave is blue.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5))]