Anne is big. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Erin is big. Erin is green. Erin is quiet. Erin is smart. Erin is young. If Anne is smart and Anne is quiet then Anne is rough.
Erin is not furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple6 triple4) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)]