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