Charlie is young. Harry is furry. Harry is kind. If Charlie is young then Charlie is furry. Furry, young people are red. All red, furry people are big.
Harry is not big.
@0: Charlie is young.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule1) triple1) -> rule2))] @3: Charlie is big.[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule3))]