Dave is big. Dave is furry. Dave is rough. Dave is round. Dave is smart. Dave is white. Dave is young. Big people are furry. Big, rough people are young.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple1) -> rule1))] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple3) -> rule2))]