Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is white. If someone is white then they are quiet. All rough people are quiet. All white people are cold. Smart people are green. If Erin is cold and Erin is rough then Erin is furry. All quiet people are white.
Erin is not quiet.
@0: Anne is cold.[(triple1 OR ((triple6) -> rule3) OR ((((triple3) -> rule6)) -> rule3) OR ((((((triple4) -> rule2)) -> rule6)) -> rule3))] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule2) OR ((triple6) -> rule1))] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple3) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Erin is furry.[(triple7 OR ((((triple12) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule6)) -> rule3) triple10) -> rule5) OR ((((((((triple10) -> rule2)) -> rule6)) -> rule3) triple10) -> rule5))] Erin is green.[(triple8 OR ((triple11) -> rule4))] Erin is quiet.[(triple9 OR ((triple10) -> rule2) OR ((triple12) -> rule1))] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12 OR ((triple9) -> rule6) OR ((((triple10) -> rule2)) -> rule6))] @1: Anne is green.[(((triple5) -> rule4))] Erin is cold.[(((triple12) -> rule3) OR ((((triple9) -> rule6)) -> rule3) OR ((((((triple10) -> rule2)) -> rule6)) -> rule3))]