Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is white. Harry is young. Red people are young.
Harry is not white.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule1))] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple11) -> rule1))]