Dave is nice. Fiona is white. Gary is round. If Fiona is white then Fiona is young. White, young things are nice. If something is round and not white then it is nice.
Fiona is nice.
@0: Dave is nice.[(triple1)] Fiona is white.[(triple2)] Gary is round.[(triple3)] @1: Fiona is young.[(((triple2) -> rule1))] @2: Fiona is nice.[(((triple2 ((triple2) -> rule1)) -> rule2))]