Fiona is green. Fiona is round. Fiona is white. All young things are big. All white things are young. If something is big and not green then it is rough.
Fiona is not young.
@0: Fiona is green.[(triple1)] Fiona is round.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is young.[(((triple3) -> rule2))] @2: Fiona is big.[(((((triple3) -> rule2)) -> rule1))]