Anne is rough. Charlie is nice. Dave is white. Fiona is blue. White things are red. Red things are rough. If something is rough then it is smart.
Fiona is red.
@0: Anne is rough.[(triple1)] Charlie is nice.[(triple2)] Dave is white.[(triple3)] Fiona is blue.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))] Dave is red.[(((triple3) -> rule1))] @2: Dave is rough.[(((((triple3) -> rule1)) -> rule2))] @3: Dave is smart.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))]