Anne is kind. Dave is young. All nice, young things are cold. If something is big and nice then it is young. Nice things are young.
Anne is not kind.
@0: Anne is kind.[(triple1)] Dave is young.[(triple2)]