Dave is big. Dave is not furry. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is smart. All kind, smart things are big. Smart things are big. All kind, smart things are red. If something is smart then it is red. If something is smart and not quiet then it is red. If something is furry and not smart then it is kind. If something is big and not red then it is not nice. Kind, red things are nice.
Dave is not quiet.
@0: Dave is big.[(triple1 OR ((triple7) -> rule2) OR ((triple3 triple7) -> rule1))] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple3 triple6) -> rule8) OR ((triple3 ((triple7) -> rule4)) -> rule8) OR ((triple3 ((triple3 triple7) -> rule3)) -> rule8))] Dave is not furry.[(triple2)] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((triple7) -> rule4) OR ((triple3 triple7) -> rule3))] Dave is smart.[(triple7)]