Anne is not blue. Anne is furry. Anne is not green. Anne is kind. Anne is nice. Anne is white. Anne is young. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is white. Dave is young. All blue, white people are nice. If Anne is young and Anne is white then Anne is kind.
Dave is not blue.
@0: Anne is furry.[(triple2)] Anne is kind.[(triple4 OR ((triple7 triple6) -> rule2))] Anne is nice.[(triple5)] Anne is not blue.[(triple1)] Anne is not green.[(triple3)] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is nice.[(triple12 OR ((triple8 triple13) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14)]