Dave is not blue. Dave is not furry. Dave is nice. Dave is quiet. Dave is red. Dave is white. Dave is young. Quiet things are not furry.
Dave is quiet.
@0: Dave is nice.[(triple3)] Dave is not blue.[(triple1)] Dave is not furry.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]