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