Dave is blue. Dave is quiet. Dave is white. Erin is furry. Erin is quiet. Erin is rough. Harry is quiet. If Dave is blue and Dave is not furry then Dave is young.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is white.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Harry is quiet.[(triple7)]