Anne is kind. Anne is not red. Dave is blue. All blue, big people are not quiet. If Dave is big and Dave is not red then Dave is furry.
Anne is blue.
@0: Anne is kind.[(triple1)] Anne is not red.[(triple2)] Dave is blue.[(triple3)]