Anne is green. Anne is smart. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is furry. Dave is smart. Dave is white. Dave is young. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is not smart. If Charlie is smart and Charlie is quiet then Charlie is green. If something is furry and not rough then it is not quiet. If something is furry and not white then it is not quiet. If something is young and furry then it is not quiet. If something is smart then it is young. If Erin is not white and Erin is not furry then Erin is not quiet.
Erin is not smart.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Charlie is green.[(triple3 OR ((triple6 triple4) -> rule1))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is furry.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11 OR ((triple9) -> rule5))] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is not smart.[(triple16)] Erin is quiet.[(triple14)] Erin is rough.[(triple15)] @1: Anne is young.[(((triple2) -> rule5))] Charlie is young.[(((triple6) -> rule5))] Dave is not quiet.[(((triple11 triple8) -> rule4) OR ((((triple9) -> rule5) triple8) -> rule4))]