Charlie is green. Charlie is young. Dave is green. Dave is white. Erin is kind. Erin is white. Erin is young. All young things are red. If something is furry and young then it is rough. If something is kind and red then it is furry.
Erin is red.
@0: Charlie is green.[(triple1)] Charlie is young.[(triple2)] Dave is green.[(triple3)] Dave is white.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] @1: Charlie is red.[(((triple2) -> rule1))] Erin is red.[(((triple7) -> rule1))] @2: Erin is furry.[(((triple5 ((triple7) -> rule1)) -> rule3))] @3: Erin is rough.[(((((triple5 ((triple7) -> rule1)) -> rule3) triple7) -> rule2))]