Dave is big. Dave is blue. Dave is furry. Dave is not nice. Dave is not quiet. Dave is round. Dave is young. If something is quiet then it is round. Blue things are not quiet. If something is furry and not young then it is quiet. Round, young things are big. If something is young and nice then it is furry. If something is big and not nice then it is furry.
Dave is not quiet.
@0: Dave is big.[(triple1 OR ((triple6 triple7) -> rule4))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple1 triple4) -> rule6) OR ((((triple6 triple7) -> rule4) triple4) -> rule6))] Dave is not nice.[(triple4)] Dave is not quiet.[(triple5 OR ((triple2) -> rule2))] Dave is round.[(triple6)] Dave is young.[(triple7)]