Anne is big. Anne is kind. Anne is quiet. Anne is round. Charlie is big. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Erin is big. Erin is kind. Erin is round. Quiet, big things are red. All kind, big things are quiet. All red, kind things are green.
Anne is green.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 triple1) -> rule2))] Anne is round.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6 OR ((triple8 triple7) -> rule3) OR ((((((triple7 triple5) -> rule2) triple5) -> rule1) triple7) -> rule3))] Charlie is kind.[(triple7)] Charlie is red.[(triple8 OR ((((triple7 triple5) -> rule2) triple5) -> rule1))] Charlie is round.[(triple9)] Erin is big.[(triple10)] Erin is kind.[(triple11)] Erin is round.[(triple12)] @1: Anne is red.[(((triple3 triple1) -> rule1) OR ((((triple2 triple1) -> rule2) triple1) -> rule1))] Charlie is quiet.[(((triple7 triple5) -> rule2))] Erin is quiet.[(((triple11 triple10) -> rule2))] @2: Anne is green.[(((((triple3 triple1) -> rule1) triple2) -> rule3) OR ((((((triple2 triple1) -> rule2) triple1) -> rule1) triple2) -> rule3))] Erin is red.[(((((triple11 triple10) -> rule2) triple10) -> rule1))] @3: Erin is green.[(((((((triple11 triple10) -> rule2) triple10) -> rule1) triple11) -> rule3))]