Anne is not blue. Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Dave is red. Dave is rough. Erin is cold. Erin is furry. Erin is rough. Erin is white. Erin is not young. Harry is blue. Harry is furry. If Anne is red then Anne is not blue.
Harry is not red.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not blue.[(triple1 OR ((triple4) -> rule1))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is not young.[(triple14)] Erin is rough.[(triple12)] Erin is white.[(triple13)] Harry is blue.[(triple15)] Harry is furry.[(triple16)]