Anne is not kind. Anne is smart. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Fiona is green. Harry is not kind. Harry is rough. If Charlie is not blue then Charlie is not kind.
Harry is not green.
@0: Anne is not kind.[(triple1)] Anne is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Fiona is green.[(triple8)] Harry is not kind.[(triple9)] Harry is rough.[(triple10)]