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