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