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