Erin is big. Gary is not nice. Furry things are white. If something is white then it is nice. All big things are furry.
Erin is red.
@0: Erin is big.[(triple1)] Gary is not nice.[(triple2)] @1: Erin is furry.[(((triple1) -> rule3))] @2: Erin is white.[(((((triple1) -> rule3)) -> rule1))] @3: Erin is nice.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]