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