Anne is not red. Dave is not furry. Erin is not rough. If Dave is not blue then Dave is rough. If someone is furry and smart then they are not red.
Dave is young.
@0: Anne is not red.[(triple1)] Dave is not furry.[(triple2)] Erin is not rough.[(triple3)]