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 round.
@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))]