Anne is not red. Charlie is not white. Harry is not rough. Blue things are white. If Harry is white then Harry is furry. Furry things are red.
Harry is not rough.
@0: Anne is not red.[(triple1)] Charlie is not white.[(triple2)] Harry is not rough.[(triple3)]