Anne is furry. Anne is not nice. Charlie is nice. Charlie is not quiet. Charlie is young. Dave is young. Erin is furry. Erin is nice. Erin is smart. Erin is white. If something is young then it is furry. If something is young then it is furry. White things are rough. If Dave is furry then Dave is white. All quiet things are white. If Erin is smart and Erin is white then Erin is nice. If Erin is not rough then Erin is not nice. If something is nice and not white then it is not smart.
Anne is white.
@0: Anne is furry.[(triple1)] Anne is not nice.[(triple2)] Charlie is nice.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is young.[(triple5)] Dave is young.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8 OR ((triple9 triple10) -> rule6))] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Charlie is furry.[(((triple5) -> rule1) OR ((triple5) -> rule2))] Dave is furry.[(((triple6) -> rule1) OR ((triple6) -> rule2))] Erin is rough.[(((triple10) -> rule3))] @2: Dave is white.[(((((triple6) -> rule1)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] @3: Dave is rough.[(((((((triple6) -> rule1)) -> rule4)) -> rule3) OR ((((((triple6) -> rule2)) -> rule4)) -> rule3))]