Charlie is not blue. Charlie is not furry. Charlie is green. Charlie is quiet. Charlie is not red. Charlie is white. Charlie is young. If Charlie is red then Charlie is not white. All white, blue things are not red. If something is furry and green then it is not white. If something is green and not red then it is young. All young things are quiet. If something is blue and not furry then it is quiet.
Charlie is young.
@0: Charlie is green.[(triple3)] Charlie is not blue.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not red.[(triple5)] Charlie is quiet.[(triple4 OR ((triple7) -> rule5) OR ((((triple3 triple5) -> rule4)) -> rule5))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple3 triple5) -> rule4))]