Anne is nice. Charlie is red. Dave is rough. Erin is white. All rough people are blue. Nice people are rough.
Erin is nice.
@0: Anne is nice.[(triple1)] Charlie is red.[(triple2)] Dave is rough.[(triple3)] Erin is white.[(triple4)] @1: Anne is rough.[(((triple1) -> rule2))] Dave is blue.[(((triple3) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule2)) -> rule1))]