Anne is young. Bob is green. Charlie is cold. Dave is kind. All blue, green things are young.
Bob is not young.
@0: Anne is young.[(triple1)] Bob is green.[(triple2)] Charlie is cold.[(triple3)] Dave is kind.[(triple4)]