Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is not round. Charlie is smart. Charlie is young. If Charlie is young and Charlie is not green then Charlie is smart. If something is round and nice then it is red. If Charlie is nice and Charlie is round then Charlie is young.
Charlie is round.
@0: Charlie is green.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not red.[(triple4)] Charlie is not round.[(triple5)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]