Anne is green. Anne is quiet. Anne is rough. Anne is white. Anne is young. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is white. Erin is young. Quiet things are furry. All rough things are big. Rough things are young.
Erin is not white.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple3) -> rule3))] Erin is big.[(triple6 OR ((triple10) -> rule2))] Erin is furry.[(triple7 OR ((triple9) -> rule1))] Erin is green.[(triple8)] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple10) -> rule3))] @1: Anne is big.[(((triple3) -> rule2))] Anne is furry.[(((triple2) -> rule1))]