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