Charlie is blue. Charlie is green. Charlie is kind. Charlie is not nice. Charlie is not quiet. Dave is blue. Dave is not green. Dave is kind. Dave is not nice. Dave is not quiet. Dave is not red. Dave is not rough. If Dave is green then Dave is not nice. If Charlie is red then Charlie is rough. If something is nice then it is rough.
Charlie is red.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not nice.[(triple4)] Charlie is not quiet.[(triple5)] Dave is blue.[(triple6)] Dave is kind.[(triple8)] Dave is not green.[(triple7)] Dave is not nice.[(triple9)] Dave is not quiet.[(triple10)] Dave is not red.[(triple11)] Dave is not rough.[(triple12)]