Dave is not big. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is white. Erin is not furry. If Erin is rough then Erin is furry. If Erin is furry then Erin is not young.
Erin is not furry.
@0: Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple1)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Erin is not furry.[(triple7)]