Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is not young. All nice, kind people are rough. If someone is young and not rough then they are not quiet.
Dave is not quiet.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not young.[(triple7)] Dave is quiet.[(triple5)] Dave is rough.[(triple6 OR ((triple4 triple3) -> rule1))]