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 not smart.
@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))]