Charlie is big. If someone is big then they are cold. If Charlie is cold and Charlie is young then Charlie is furry. If someone is cold then they are young.
Charlie is big.
@0: Charlie is big.[(triple1)] @1: Charlie is cold.[(((triple1) -> rule1))] @2: Charlie is young.[(((((triple1) -> rule1)) -> rule3))] @3: Charlie is furry.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule2))]