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