Dave is furry. Dave is nice. Dave is smart. Dave is not young. Erin is big. Erin is furry. Erin is green. Erin is not nice. Erin is rough. Erin is smart. If Erin is rough and Erin is not big then Erin is smart.
Erin is big.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is not young.[(triple4)] Dave is smart.[(triple3)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is not nice.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)]