Charlie is furry. Erin is red. Fiona is rough. All furry things are smart. Smart, red things are young. All red things are furry.
Erin is not young.
@0: Charlie is furry.[(triple1)] Erin is red.[(triple2)] Fiona is rough.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule1))] Erin is furry.[(((triple2) -> rule3))] @2: Erin is smart.[(((((triple2) -> rule3)) -> rule1))] @3: Erin is young.[(((((((triple2) -> rule3)) -> rule1) triple2) -> rule2))]