Charlie is blue. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. If something is rough then it is round. White, rough things are green.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple7 triple4) -> rule2))] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9 OR ((triple14 triple11) -> rule2))] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple11) -> rule1))] Harry is smart.[(triple13)] Harry is white.[(triple14)]