Anne is big. Anne is rough. Anne is white. Anne is young. Erin is big. Erin is nice. Erin is not rough. If something is big then it is furry. If something is furry and not white then it is not big. If Anne is not furry then Anne is blue. All blue things are not nice. If something is blue and not big then it is not nice. If something is white and not big then it is nice. All big, white things are rough. Nice things are not rough.
Erin is not nice.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2 OR ((triple1 triple3) -> rule7))] Anne is white.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is not rough.[(triple7 OR ((triple6) -> rule8))] @1: Anne is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple5) -> rule1))]