Anne is not 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 furry. Dave is green. Dave is not nice. Dave is red. Dave is smart. Dave is not white. If Dave is white then Dave is smart. If Dave is nice then Dave is not green. If someone is furry and white then they are nice. If someone is red and not smart then they are furry. If someone is smart and not red then they are furry. If someone is smart and not big then they are furry.
Anne is red.
@0: Anne is furry.[(triple2 OR ((triple6 triple1) -> rule6))] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple2 triple7) -> rule3) OR ((((triple6 triple1) -> rule6) triple7) -> rule3))] Anne is not big.[(triple1)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Dave is furry.[(triple9 OR ((triple13 triple8) -> rule6))] Dave is green.[(triple10)] Dave is not big.[(triple8)] Dave is not nice.[(triple11)] Dave is not white.[(triple14)] Dave is red.[(triple12)] Dave is smart.[(triple13)]