Dave is big. Dave is blue. Dave is furry. Dave is quiet. Dave is not rough. Dave is white. Dave is young. Furry, young things are white. If something is quiet then it is young.
Dave is not rough.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is not rough.[(triple5)] Dave is quiet.[(triple4)] Dave is white.[(triple6 OR ((triple3 triple7) -> rule1) OR ((triple3 ((triple4) -> rule2)) -> rule1))] Dave is young.[(triple7 OR ((triple4) -> rule2))]