Anne is big. Anne is blue. Anne is furry. Anne is not quiet. Anne is round. Anne is smart. Anne is white. Erin is big. Erin is blue. Erin is furry. Erin is quiet. Erin is round. Erin is smart. Erin is not white. All blue, furry things are smart. Blue, white things are round. If something is furry and not smart then it is not big.
Erin is not white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5 OR ((triple2 triple7) -> rule2))] Anne is smart.[(triple6 OR ((triple2 triple3) -> rule1))] Anne is white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is not white.[(triple14)] Erin is quiet.[(triple11)] Erin is round.[(triple12)] Erin is smart.[(triple13 OR ((triple9 triple10) -> rule1))]