Anne is big. Anne is blue. Anne is smart. Anne is not white. Charlie is young. Erin is big. Erin is blue. Erin is nice. Erin is white. Erin is young. Nice, smart things are white. All white things are smart.
Erin is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not white.[(triple4)] Anne is smart.[(triple3)] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is nice.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Erin is smart.[(((triple9) -> rule2))]