Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Harry is green. Harry is nice. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. If Harry is smart and Harry is rough then Harry is white. Rough things are round. If Charlie is young then Charlie is round.
Harry is not rough.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple3) -> rule2) OR ((triple7) -> rule3))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11 OR ((triple10) -> rule2))] Harry is smart.[(triple12)] Harry is white.[(triple13 OR ((triple12 triple10) -> rule1))] Harry is young.[(triple14)]