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