Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Anne is young. Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. All smart, big people are furry. Big people are young. All smart people are nice.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple6 triple1) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple6) -> rule3))] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule2))] Charlie is big.[(triple8)] Charlie is furry.[(triple9 OR ((triple13 triple8) -> rule1))] Charlie is kind.[(triple10)] Charlie is nice.[(triple11 OR ((triple13) -> rule3))] Charlie is rough.[(triple12)] Charlie is smart.[(triple13)] Charlie is young.[(triple14 OR ((triple8) -> rule2))]