Charlie is green. Charlie is nice. Charlie is rough. All big things are smart. If something is kind then it is smart.
Charlie is not green.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)]