Anne is not cold. Anne is furry. Anne is nice. Anne is not red. Anne is rough. Anne is smart. Anne is white. Dave is cold. Dave is furry. Dave is rough. Erin is cold. Erin is furry. Erin is not nice. Erin is red. Erin is white. If someone is cold and not red then they are not furry. Furry, red people are not nice. Rough, red people are nice.
Dave is smart.
@0: Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is not red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is rough.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is not nice.[(triple13 OR ((triple12 triple14) -> rule2))] Erin is red.[(triple14)] Erin is white.[(triple15)]