Dave is cold. Dave is furry. Dave is young. If Dave is cold then Dave is quiet. If something is quiet and furry then it is big. Young, nice things are quiet. If Dave is nice then Dave is furry. All furry things are green. All big things are furry.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] @1: Dave is green.[(((triple2) -> rule5))] Dave is quiet.[(((triple1) -> rule1))] @2: Dave is big.[(((((triple1) -> rule1) triple2) -> rule2))]