Dave is furry. Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. If Dave is red and Dave is furry then Dave is white. If something is red and smart then it is young. If Dave is furry then Dave is young. If something is furry and young then it is rough. If something is nice and not furry then it is rough. If something is young and not white then it is rough.
Dave is rough.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4 OR ((triple1 triple7) -> rule4) OR ((triple1 ((triple1) -> rule3)) -> rule4) OR ((triple1 ((triple3 triple5) -> rule2)) -> rule4))] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple3 triple1) -> rule1))] Dave is young.[(triple7 OR ((triple1) -> rule3) OR ((triple3 triple5) -> rule2))]