Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is young. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is young. Blue, young people are green. All big, young people are furry.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple1 triple6) -> rule2))] Dave is green.[(triple4 OR ((triple2 triple6) -> rule1))] Dave is kind.[(triple5)] Dave is young.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((triple7 triple12) -> rule2))] Erin is green.[(triple10 OR ((triple8 triple12) -> rule1))] Erin is kind.[(triple11)] Erin is young.[(triple12)]