Dave is furry. Dave is round. Dave is white. Erin is big. Erin is furry. Erin is green. Erin is young. If someone is green and white then they are round.
Dave is not white.
@0: Dave is furry.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)]