Anne is green. Anne is nice. Bob is not green. Bob is nice. Dave is green. Dave is nice. Dave is smart. If someone is kind and not green then they are not nice. All kind, smart people are nice. All white people are nice.
Anne is nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Bob is nice.[(triple4)] Bob is not green.[(triple3)] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is smart.[(triple7)]