Charlie is big. Charlie is young. Dave is young. All young people are nice. If someone is nice and young then they are furry.
Dave is young.
@0: Charlie is big.[(triple1)] Charlie is young.[(triple2)] Dave is young.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule1))] Dave is nice.[(((triple3) -> rule1))] @2: Charlie is furry.[(((((triple2) -> rule1) triple2) -> rule2))] Dave is furry.[(((((triple3) -> rule1) triple3) -> rule2))]