Charlie is green. Charlie is not quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is not smart. Charlie is white. If Charlie is red then Charlie is round.
Charlie is red.
@0: Charlie is green.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is not smart.[(triple6)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule1))] Charlie is white.[(triple7)]