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