Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is not white. Bob is young. Dave is furry. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is white. Dave is young. If something is white then it is round. If something is rough and not young then it is not red.
Dave is not red.
@0: Bob is furry.[(triple1)] Bob is not white.[(triple6)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple7)] Dave is furry.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is round.[(triple12 OR ((triple13) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14)]