Charlie is blue. Charlie is not quiet. Charlie is not young. If Charlie is not blue and Charlie is not quiet then Charlie is red. All young things are round. If something is red then it is not round. Young things are not round. If Charlie is blue and Charlie is quiet then Charlie is round. If Charlie is not young and Charlie is not red then Charlie is round. If Charlie is blue and Charlie is not round then Charlie is white. If Charlie is blue then Charlie is white.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is not young.[(triple3)] @1: Charlie is white.[(((triple1) -> rule8))]