Dave is big. Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is not red. Dave is rough. Blue, rough people are big. If Dave is blue and Dave is not furry then Dave is big. All furry, big people are rough. If Dave is not big then Dave is nice. If someone is nice and not red then they are quiet. If someone is blue and red then they are quiet. If someone is blue then they are nice. If someone is quiet and big then they are nice.
Dave is not nice.
@0: Dave is big.[(triple1)] Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((triple5 triple1) -> rule8))] Dave is not blue.[(triple2)] Dave is not red.[(triple6)] Dave is quiet.[(triple5 OR ((triple4 triple6) -> rule5))] Dave is rough.[(triple7 OR ((triple3 triple1) -> rule3))]