Fiona is big. Fiona is smart. Fiona is young. If something is green and young then it is nice. Big things are kind. Big, kind things are green.
Fiona is green.
@0: Fiona is big.[(triple1)] Fiona is smart.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is kind.[(((triple1) -> rule2))] @2: Fiona is green.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Fiona is nice.[(((((triple1 ((triple1) -> rule2)) -> rule3) triple3) -> rule1))]