Dave is big. Dave is furry. Dave is green. Dave is not nice. Dave is quiet. Dave is rough. Dave is young. If something is nice and not young then it is not rough. Young things are not nice. If something is quiet and furry then it is green. If Dave is nice and Dave is green then Dave is not quiet. If something is young and not rough then it is not big. If something is green and not rough then it is not big.
Dave is not quiet.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple5 triple2) -> rule3))] Dave is not nice.[(triple4 OR ((triple7) -> rule2))] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)]