Anne is not kind. Charlie is kind. Harry is rough. If something is rough and not smart then it is red. If something is smart then it is red. If something is young then it is red. If something is young and not round then it is white. Smart things are not young. White things are not kind. All red things are kind. Round things are not rough.
Charlie is not red.
@0: Anne is not kind.[(triple1)] Charlie is kind.[(triple2)] Harry is rough.[(triple3)]