Anne is furry. Anne is rough. Anne is smart. Erin is furry. Erin is kind. Erin is quiet. Erin is not white. If Anne is round and Anne is smart then Anne is kind. Rough, smart things are round. If Anne is quiet then Anne is round. Rough, kind things are smart. All kind things are quiet. If Erin is round then Erin is quiet. Round, smart things are kind. If Erin is smart and Erin is not furry then Erin is rough.
Anne is not kind.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is not white.[(triple7)] Erin is quiet.[(triple6 OR ((triple5) -> rule5))] @1: Anne is round.[(((triple2 triple3) -> rule2))] @2: Anne is kind.[(((((triple2 triple3) -> rule2) triple3) -> rule1) OR ((((triple2 triple3) -> rule2) triple3) -> rule7))] @3: Anne is quiet.[(((((((triple2 triple3) -> rule2) triple3) -> rule1)) -> rule5) OR ((((((triple2 triple3) -> rule2) triple3) -> rule7)) -> rule5))]