Anne is not kind. Bob is red. Dave is red. Harry is not cold. All young, cold people are not kind. Young people are kind. If someone is red and not smart then they are not young.
Bob is red.
@0: Anne is not kind.[(triple1)] Bob is red.[(triple2)] Dave is red.[(triple3)] Harry is not cold.[(triple4)]