Anne is green. Anne is kind. Anne is quiet. Anne is smart. Erin is big. Erin is quiet. Erin is smart. All blue things are round. All quiet, smart things are kind. All smart, kind things are blue.
Erin is not quiet.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3 triple4) -> rule2))] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)] @1: Anne is blue.[(((triple4 triple2) -> rule3) OR ((triple4 ((triple3 triple4) -> rule2)) -> rule3))] Erin is kind.[(((triple6 triple7) -> rule2))] @2: Anne is round.[(((((triple4 triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple3 triple4) -> rule2)) -> rule3)) -> rule1))] Erin is blue.[(((triple7 ((triple6 triple7) -> rule2)) -> rule3))] @3: Erin is round.[(((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]