Charlie is not blue. Charlie is furry. Charlie is not kind. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Kind people are white. White people are smart.
Charlie is not young.
@0: Charlie is furry.[(triple2)] Charlie is not blue.[(triple1)] Charlie is not kind.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5 OR ((triple6) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)]