Anne is big. Anne is red. Anne is rough. Anne is smart. Erin is big. Erin is white. Erin is young. If something is white then it is young. If Erin is red then Erin is big. Big things are smart.
Anne is red.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((triple1) -> rule3))] Erin is big.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple6) -> rule1))] @1: Erin is smart.[(((triple5) -> rule3))]