Erin is red. If someone is furry then they are nice. Red, big people are furry. If Erin is red then Erin is big. If someone is big then they are red. If someone is furry and not red then they are not green. If Erin is green and Erin is red then Erin is not kind.
Erin is not furry.
@0: Erin is red.[(triple1)] @1: Erin is big.[(((triple1) -> rule3))] @2: Erin is furry.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: Erin is nice.[(((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule1))]