Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is not white. Anne is not young. Erin is kind. Erin is nice. Erin is red. Erin is white. Erin is young. White, nice things are not blue. White things are red.
Erin is nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not white.[(triple6)] Anne is not young.[(triple7)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10 OR ((triple11) -> rule2))] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Erin is not blue.[(((triple11 triple9) -> rule1))]