Dave is blue. Erin is round. Erin is white. All red, round people are smart. If Erin is white then Erin is red.
Erin is red.
@0: Dave is blue.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] @1: Erin is red.[(((triple3) -> rule2))] @2: Erin is smart.[(((((triple3) -> rule2) triple2) -> rule1))]