Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is not rough. Charlie is smart. Charlie is white. If Charlie is smart then Charlie is not red. If someone is red then they are green. If Charlie is not green then Charlie is not white. White people are not rough. All white people are not rough. If Charlie is not white then Charlie is rough.
Charlie is not kind.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is not red.[(triple4 OR ((triple6) -> rule1))] Charlie is not rough.[(triple5 OR ((triple7) -> rule4) OR ((triple7) -> rule5))] Charlie is quiet.[(triple3)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]