Dave is big. Dave is not blue. Dave is furry. Dave is not green. Dave is nice. Dave is not round. Dave is not young. Erin is big. Erin is not blue. Erin is furry. Erin is green. Erin is nice. Erin is round. Erin is young. If Dave is not nice then Dave is blue.
Dave is not young.
@0: Dave is big.[(triple1)] Dave is furry.[(triple3)] Dave is nice.[(triple5)] Dave is not blue.[(triple2)] Dave is not green.[(triple4)] Dave is not round.[(triple6)] Dave is not young.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is not blue.[(triple9)] Erin is round.[(triple13)] Erin is young.[(triple14)]