Anne is smart. Bob is kind. Bob is rough. Bob is white. Charlie is not quiet. Charlie is white. Harry is kind. All cold, white things are kind.
Anne is not kind.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is white.[(triple6)] Harry is kind.[(triple7)]