Charlie is white. Blue things are not green. Round things are not green. All young things are blue. White things are young. If something is green and not kind then it is not young. All green, kind things are not white. If Charlie is blue and Charlie is young then Charlie is white. If something is blue and white then it is quiet.
Charlie is not quiet.
@0: Charlie is white.[(triple1)] @1: Charlie is young.[(((triple1) -> rule4))] @2: Charlie is blue.[(((((triple1) -> rule4)) -> rule3))] @3: Charlie is not green.[(((((((triple1) -> rule4)) -> rule3)) -> rule1))] Charlie is quiet.[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule8))]