Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is young. Rough, round people are green. All furry, young people are green.
Dave is not furry.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple2 triple7) -> rule2) OR ((triple5 triple6) -> rule1))] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)]