Fiona is rough. Fiona is round. Fiona is young. All round people are big. All big, young people are nice.
Fiona is not furry.
@0: Fiona is rough.[(triple1)] Fiona is round.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is big.[(((triple2) -> rule1))] @2: Fiona is nice.[(((((triple2) -> rule1) triple3) -> rule2))]