Bob is not furry. Bob is kind. Bob is not quiet. Bob is red. Bob is young. Dave is furry. Dave is kind. Dave is not nice. Dave is quiet. Dave is red. Dave is not white. Dave is young. Nice, young people are not quiet. If Dave is quiet then Dave is kind. If Bob is kind and Bob is not white then Bob is quiet.
Dave is not young.
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is not quiet.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple9) -> rule2))] Dave is not nice.[(triple8)] Dave is not white.[(triple11)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is young.[(triple12)]