Dave is furry. Dave is green. Dave is kind. Dave is not rough. Dave is smart. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is not rough. Erin is smart. Erin is young. If something is kind and not young then it is not rough.
Dave is young.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not rough.[(triple4)] Dave is smart.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is not rough.[(triple10)] Erin is red.[(triple9)] Erin is smart.[(triple11)] Erin is young.[(triple12)]