Dave is furry. If something is furry then it is quiet. Big, smart things are green. If something is smart and green then it is big. If something is quiet and green then it is round. If Dave is quiet then Dave is kind. If Dave is furry then Dave is green. If something is round then it is quiet. If Dave is furry and Dave is round then Dave is big.
Dave is green.
@0: Dave is furry.[(triple1)] @1: Dave is green.[(((triple1) -> rule6))] Dave is quiet.[(((triple1) -> rule1))] @2: Dave is kind.[(((((triple1) -> rule1)) -> rule5))] Dave is round.[(((((triple1) -> rule1) ((triple1) -> rule6)) -> rule4))] @3: Dave is big.[(((triple1 ((((triple1) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule8))]