Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. If someone is rough then they are blue. All kind, big people are nice.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple6) -> rule1))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple3 triple1) -> rule2))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)]