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