Dave is not blue. Dave is furry. Dave is green. Dave is not nice. Dave is rough. Dave is smart. Dave is young. Erin is blue. Erin is furry. Erin is not green. Erin is nice. Erin is rough. Erin is smart. Erin is young. Young, furry things are rough. All young, green things are not nice.
Dave is young.
@0: Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is not blue.[(triple1)] Dave is not nice.[(triple4 OR ((triple7 triple3) -> rule2))] Dave is rough.[(triple5 OR ((triple7 triple2) -> rule1))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is nice.[(triple11)] Erin is not green.[(triple10)] Erin is rough.[(triple12 OR ((triple14 triple9) -> rule1))] Erin is smart.[(triple13)] Erin is young.[(triple14)]