Erin is red. All kind, red things are rough. Nice things are kind. If Erin is red then Erin is white. If Erin is rough and Erin is not red then Erin is round. White things are nice. If something is red then it is furry.
Erin is not nice.
@0: Erin is red.[(triple1)] @1: Erin is furry.[(((triple1) -> rule6))] Erin is white.[(((triple1) -> rule3))] @2: Erin is nice.[(((((triple1) -> rule3)) -> rule5))] @3: Erin is kind.[(((((((triple1) -> rule3)) -> rule5)) -> rule2))] @4: Erin is rough.[(((((((((triple1) -> rule3)) -> rule5)) -> rule2) triple1) -> rule1))]