Charlie is young. Harry is furry. If Charlie is young then Charlie is round. If something is round and red then it is green. Smart things are cold. If Charlie is furry then Charlie is red. Smart, red things are green. All round things are furry. Cold, round things are red. Smart things are red.
Harry is young.
@0: Charlie is young.[(triple1)] Harry is furry.[(triple2)] @1: Charlie is round.[(((triple1) -> rule1))] @2: Charlie is furry.[(((((triple1) -> rule1)) -> rule6))] @3: Charlie is red.[(((((((triple1) -> rule1)) -> rule6)) -> rule4))] @4: Charlie is green.[(((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule2))]