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.
Charlie is white.
@0: Anne is not red.[(triple1)] Charlie is not white.[(triple2)] Harry is not rough.[(triple3)]