Anne is rough. Bob is cold. Bob is furry. Bob is smart. Dave is green. Dave is red. Erin is green. Rough, nice people are red.
Dave is not red.
@0: Anne is rough.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is smart.[(triple4)] Dave is green.[(triple5)] Dave is red.[(triple6)] Erin is green.[(triple7)]