Anne is not nice. Charlie is nice. Charlie is round. If Charlie is white then Charlie is blue. All white people are kind. White people are not kind.
Charlie is round.
@0: Anne is not nice.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)]