Erin is smart. Fiona is red. Fiona is round. If something is round and smart then it is young. All young things are quiet. If Fiona is round then Fiona is smart.
Erin is smart.
@0: Erin is smart.[(triple1)] Fiona is red.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule3))] @2: Fiona is young.[(((triple3 ((triple3) -> rule3)) -> rule1))] @3: Fiona is quiet.[(((((triple3 ((triple3) -> rule3)) -> rule1)) -> rule2))]