Bob is nice. Bob is not red. Bob is not rough. Charlie is blue. Charlie is rough. Dave is nice. Dave is not red. Erin is not blue. Erin is nice. Erin is quiet. All furry, nice people are blue.
Dave is not nice.
@0: Bob is nice.[(triple1)] Bob is not red.[(triple2)] Bob is not rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is rough.[(triple5)] Dave is nice.[(triple6)] Dave is not red.[(triple7)] Erin is nice.[(triple9)] Erin is not blue.[(triple8)] Erin is quiet.[(triple10)]