Fiona is quiet. Fiona is red. Fiona is white. Blue people are smart. All nice people are blue. All red people are nice.
Fiona is nice.
@0: Fiona is quiet.[(triple1)] Fiona is red.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is nice.[(((triple2) -> rule3))] @2: Fiona is blue.[(((((triple2) -> rule3)) -> rule2))] @3: Fiona is smart.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]