Anne is blue. Anne is rough. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is young. All furry, red people are young. All red, young people are green. Blue people are quiet. If someone is green then they are red. Green people are rough. If Anne is blue then Anne is furry. Young, red people are quiet. If Anne is blue then Anne is green.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2 OR ((((triple1) -> rule8)) -> rule5))] Erin is blue.[(triple3)] Erin is green.[(triple4 OR ((triple5 triple7) -> rule2))] Erin is red.[(triple5 OR ((triple4) -> rule4))] Erin is rough.[(triple6 OR ((triple4) -> rule5) OR ((((triple5 triple7) -> rule2)) -> rule5))] Erin is young.[(triple7)] @1: Anne is furry.[(((triple1) -> rule6))] Anne is green.[(((triple1) -> rule8))] Anne is quiet.[(((triple1) -> rule3) OR ((((((triple1) -> rule6) ((((triple1) -> rule8)) -> rule4)) -> rule1) ((((triple1) -> rule8)) -> rule4)) -> rule7))] Erin is quiet.[(((triple3) -> rule3) OR ((triple7 triple5) -> rule7) OR ((triple7 ((triple4) -> rule4)) -> rule7))] @2: Anne is red.[(((((triple1) -> rule8)) -> rule4))] @3: Anne is young.[(((((triple1) -> rule6) ((((triple1) -> rule8)) -> rule4)) -> rule1))]