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 rough.
@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)]