Anne is red. Anne is white. Erin is big. Erin is green. Erin is not red. Erin is round. Erin is white. Fiona is not big. Fiona is not quiet. Fiona is round. Fiona is smart. Fiona is white. All quiet, round people are not smart. Green, big people are quiet.
Fiona is green.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is not red.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Fiona is not big.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Erin is quiet.[(((triple4 triple3) -> rule2))] @2: Erin is not smart.[(((((triple4 triple3) -> rule2) triple6) -> rule1))]