Anne is red. Anne is white. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is round. All white, red people are round.
Anne is not white.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] @1: Anne is round.[(((triple2 triple1) -> rule1))]