Anne is not red. Bob is young. Dave is red. If something is quiet and smart then it is red. All quiet, smart things are not kind.
Bob is blue.
@0: Anne is not red.[(triple1)] Bob is young.[(triple2)] Dave is red.[(triple3)]