Bob is round. Charlie is green. Erin is nice. Fiona is round. Green things are cold. All furry, round things are big. Big things are green. If something is furry then it is round. Nice, young things are green. Nice things are young.
Erin is young.
@0: Bob is round.[(triple1)] Charlie is green.[(triple2)] Erin is nice.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule1))] Erin is young.[(((triple3) -> rule6))] @2: Erin is green.[(((triple3 ((triple3) -> rule6)) -> rule5))] @3: Erin is cold.[(((((triple3 ((triple3) -> rule6)) -> rule5)) -> rule1))]