Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is white. If Dave is furry then Dave is quiet.
Dave is not quiet.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple1) -> rule1))] Dave is rough.[(triple6)] Dave is white.[(triple7)]