Charlie is green. Erin is young. Fiona is furry. If Erin is young then Erin is round. All round people are furry.
Erin is smart.
@0: Charlie is green.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] @1: Erin is round.[(((triple2) -> rule1))] @2: Erin is furry.[(((((triple2) -> rule1)) -> rule2))]