Anne is blue. Anne is furry. Anne is not kind. Anne is quiet. Anne is not red. Anne is smart. Anne is white. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is white. If Anne is red then Anne is blue. If someone is furry then they are blue. All furry, white people are smart.
Anne is not red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is furry.[(triple2)] Anne is not kind.[(triple3)] Anne is not red.[(triple5)] Anne is quiet.[(triple4)] Anne is smart.[(triple6 OR ((triple2 triple7) -> rule3))] Anne is white.[(triple7)] Harry is blue.[(triple8 OR ((triple9) -> rule2))] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is smart.[(triple13 OR ((triple9 triple14) -> rule3))] Harry is white.[(triple14)]