Anne is kind. Bob is red. Dave is not kind. If something is furry then it is green. If something is big then it is red.
Anne is not kind.
@0: Anne is kind.[(triple1)] Bob is red.[(triple2)] Dave is not kind.[(triple3)]