Anne is quiet. Anne is red. Anne is smart. Erin is green. Erin is quiet. Erin is red. Erin is rough. All quiet, smart things are round. If something is rough then it is big. If something is round then it is rough.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] @1: Anne is round.[(((triple1 triple3) -> rule1))] Erin is big.[(((triple7) -> rule2))] @2: Anne is rough.[(((((triple1 triple3) -> rule1)) -> rule3))] @3: Anne is big.[(((((((triple1 triple3) -> rule1)) -> rule3)) -> rule2))]