Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is white. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is not white. If Dave is not red then Dave is not furry.
Erin is not quiet.
@0: Dave is quiet.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is not white.[(triple12)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)]