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