Anne is green. Bob is nice. Dave is big. Dave is green. Dave is red. Dave is not round. Harry is red. All young, red people are not kind. Young, kind people are not nice.
Bob is not nice.
@0: Anne is green.[(triple1)] Bob is nice.[(triple2)] Dave is big.[(triple3)] Dave is green.[(triple4)] Dave is not round.[(triple6)] Dave is red.[(triple5)] Harry is red.[(triple7)]