Anne is rough. Anne is smart. Anne is white. Anne is young. Dave is blue. Dave is furry. Dave is rough. Dave is smart. Dave is white. Dave is young. Cold things are white. White, blue things are furry.
Anne is not furry.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6 OR ((triple9 triple5) -> rule2))] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)]