Anne is nice. Charlie is red. Erin is rough. All big people are red. If someone is rough and red then they are furry. Rough people are big.
Erin is nice.
@0: Anne is nice.[(triple1)] Charlie is red.[(triple2)] Erin is rough.[(triple3)] @1: Erin is big.[(((triple3) -> rule3))] @2: Erin is red.[(((((triple3) -> rule3)) -> rule1))] @3: Erin is furry.[(((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule2))]