Anne is big. Erin is not nice. Harry is furry. If something is furry then it is not blue. Blue, nice things are not furry. Nice things are furry. If something is nice and not quiet then it is not red. All furry things are big. If something is big then it is nice.
Erin is not furry.
@0: Anne is big.[(triple1)] Erin is not nice.[(triple2)] Harry is furry.[(triple3)] @1: Anne is nice.[(((triple1) -> rule6))] Harry is big.[(((triple3) -> rule5))] Harry is not blue.[(((triple3) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule6)) -> rule3))] Harry is nice.[(((((triple3) -> rule5)) -> rule6))] @3: Anne is not blue.[(((((((triple1) -> rule6)) -> rule3)) -> rule1))]