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