Anne is blue. Anne is not cold. Bob is not blue. Bob is cold. Bob is furry. Bob is not green. Dave is not cold. Dave is furry. Dave is green. Dave is not kind. All kind people are not green.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is not cold.[(triple2)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is not blue.[(triple3)] Bob is not green.[(triple6)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is not cold.[(triple7)] Dave is not kind.[(triple10)]