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 not red.
@0: Anne is not red.[(triple1)] Bob is young.[(triple2)] Dave is red.[(triple3)]