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