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