Anne is rough. Bob is green. Charlie is smart. If Anne is kind then Anne is rough. All kind, green things are nice. Rough, smart things are green. Red, white things are nice. If something is kind then it is rough. If Bob is smart and Bob is nice then Bob is green.
Charlie is not smart.
@0: Anne is rough.[(triple1)] Bob is green.[(triple2)] Charlie is smart.[(triple3)]