Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is not white. Anne is not young. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is not white. Dave is young. All cold things are furry. If something is cold and not big then it is furry. If something is young and white then it is cold.
Dave is red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2) -> rule1))] Anne is green.[(triple4)] Anne is not white.[(triple6)] Anne is not young.[(triple7)] Anne is red.[(triple5)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10 OR ((triple9) -> rule1))] Dave is green.[(triple11)] Dave is not white.[(triple13)] Dave is red.[(triple12)] Dave is young.[(triple14)]