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