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