Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is round. Charlie is young. All green things are young. If something is round and not quiet then it is blue. If something is kind and not quiet then it is red.
Charlie is not green.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not red.[(triple5)] Charlie is quiet.[(triple4)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple2) -> rule1))]