Charlie is not quiet. Charlie is round. Charlie is smart. If Charlie is smart then Charlie is not green. If something is smart then it is kind.
Charlie is young.
@0: Charlie is not quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is kind.[(((triple3) -> rule2))] Charlie is not green.[(((triple3) -> rule1))]