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