Anne is furry. Anne is smart. Anne is white. Anne is young. Bob is furry. Bob is not red. Bob is young. Erin is not blue. Erin is furry. Erin is red. Erin is not smart. Erin is white. Erin is young. Harry is red. Harry is young. All white things are not blue.
Erin is not red.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is furry.[(triple5)] Bob is not red.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple9)] Erin is not blue.[(triple8 OR ((triple12) -> rule1))] Erin is not smart.[(triple11)] Erin is red.[(triple10)] Erin is white.[(triple12)] Erin is young.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Anne is not blue.[(((triple3) -> rule1))]