Anne is blue. Anne is furry. Anne is not green. Anne is kind. Anne is red. Anne is rough. Anne is not white. Erin is blue. Erin is furry. Erin is green. Erin is not kind. Erin is red. Erin is rough. Erin is white. Green, blue things are rough. If something is red and not blue then it is rough. If something is blue then it is furry.
Erin is not white.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule3))] Anne is kind.[(triple4)] Anne is not green.[(triple3)] Anne is not white.[(triple7)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((triple8) -> rule3))] Erin is green.[(triple10)] Erin is not kind.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13 OR ((triple10 triple8) -> rule1))] Erin is white.[(triple14)]