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