Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. All furry people are quiet.
Charlie is not white.
@0: Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple4 OR ((triple2) -> rule1))] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]