Charlie is kind. Charlie is red. Gary is green. If Charlie is not smart then Charlie is not kind.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Gary is green.[(triple3)]