Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is white. Dave is young. If Dave is furry then Dave is smart. All young, nice people are white.
Dave is not kind.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5 OR ((triple1) -> rule1))] Dave is white.[(triple6 OR ((triple7 triple3) -> rule2))] Dave is young.[(triple7)]