Anne is big. Anne is furry. Anne is kind. Anne is smart. Erin is big. Erin is furry. Erin is red. Erin is smart. Erin is white. Erin is young. Big things are white. If Erin is smart and Erin is red then Erin is big.
Erin is kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5 OR ((triple8 triple7) -> rule2))] Erin is furry.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9 OR ((triple5) -> rule1) OR ((((triple8 triple7) -> rule2)) -> rule1))] Erin is young.[(triple10)] @1: Anne is white.[(((triple1) -> rule1))]