Anne is furry. Anne is kind. Anne is not nice. Anne is rough. Anne is smart. Anne is white. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is white. Dave is young. If something is kind then it is white.
Anne is not white.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule1))] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11 OR ((triple8) -> rule1))] Dave is young.[(triple12)]