Anne is smart. Charlie is rough. Erin is smart. Fiona is red. If Fiona is rough then Fiona is furry. If Erin is nice then Erin is smart. Red things are smart. Nice things are furry. Smart things are green. All green things are young.
Fiona is nice.
@0: Anne is smart.[(triple1)] Charlie is rough.[(triple2)] Erin is smart.[(triple3)] Fiona is red.[(triple4)] @1: Anne is green.[(((triple1) -> rule5))] Erin is green.[(((triple3) -> rule5))] Fiona is smart.[(((triple4) -> rule3))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule6))] Erin is young.[(((((triple3) -> rule5)) -> rule6))] Fiona is green.[(((((triple4) -> rule3)) -> rule5))] @3: Fiona is young.[(((((((triple4) -> rule3)) -> rule5)) -> rule6))]