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