Anne is blue. Anne is furry. Anne is smart. Anne is white. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is white. Erin is young. Smart, nice things are blue. Young things are blue. Big, smart things are young.
Erin is smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple10) -> rule2))] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)]