Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is young. Kind people are rough. All big people are nice.
Dave is not young.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple1) -> rule2))] Dave is quiet.[(triple5)] Dave is rough.[(triple6 OR ((triple3) -> rule1))] Dave is young.[(triple7)]