Anne is red. Dave is rough. Erin is red. Big things are round. All rough things are big. Round, rough things are red.
Anne is red.
@0: Anne is red.[(triple1)] Dave is rough.[(triple2)] Erin is red.[(triple3)] @1: Dave is big.[(((triple2) -> rule2))] @2: Dave is round.[(((((triple2) -> rule2)) -> rule1))] @3: Dave is red.[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule3))]