Anne is big. Anne is quiet. Anne is round. Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Erin is quiet. Erin is smart. All quiet, nice people are smart. Round people are green. Green people are smart. Quiet, nice people are smart. If someone is quiet and big then they are cold. Round, smart people are nice.
Anne is green.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple8 triple4) -> rule5))] Charlie is green.[(triple6 OR ((triple9) -> rule2))] Charlie is nice.[(triple7 OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple6) -> rule3)) -> rule6) OR ((triple9 ((((triple9) -> rule2)) -> rule3)) -> rule6))] Charlie is quiet.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10 OR ((triple6) -> rule3) OR ((triple8 triple7) -> rule1) OR ((triple8 triple7) -> rule4) OR ((((triple9) -> rule2)) -> rule3))] Erin is quiet.[(triple11)] Erin is smart.[(triple12)] @1: Anne is cold.[(((triple2 triple1) -> rule5))] Anne is green.[(((triple3) -> rule2))] @2: Anne is smart.[(((((triple3) -> rule2)) -> rule3))] @3: Anne is nice.[(((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule6))]