Charlie is not green. Charlie is not quiet. Charlie is young. Green people are not white. If someone is young then they are round. All furry, young people are round.
Charlie is not blue.
@0: Charlie is not green.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is young.[(triple3)] @1: Charlie is round.[(((triple3) -> rule2))]