Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is smart. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is red. All big, kind things are furry. If something is furry and green then it is kind. All big things are smart. All furry, green things are kind. If something is green and smart then it is furry. All red things are big. If something is red and smart then it is green. Smart, big things are kind.
Erin is not big.
@0: Anne is big.[(triple1 OR ((triple6) -> rule6))] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple1 triple5) -> rule1) OR ((triple4 triple7) -> rule5) OR ((triple1 ((triple7 triple1) -> rule8)) -> rule1) OR ((triple4 ((triple1) -> rule3)) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule1) OR ((((triple6 triple7) -> rule7) triple7) -> rule5) OR ((((triple6) -> rule6) ((triple7 triple1) -> rule8)) -> rule1) OR ((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple7 ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((triple1 ((((triple1) -> rule3) triple1) -> rule8)) -> rule1) OR ((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) OR ((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) OR ((triple1 ((((triple1) -> rule3) ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((triple6) -> rule6) ((triple7 ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((triple6) -> rule6) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1) OR ((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) OR ((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((((triple1) -> rule3) ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) OR ((triple1 ((((((triple6) -> rule6)) -> rule3) triple1) -> rule8)) -> rule1) OR ((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) OR ((triple1 ((((((triple6) -> rule6)) -> rule3) ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule3) triple1) -> rule8)) -> rule1) OR ((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((((((triple6) -> rule6)) -> rule3) ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5))] Anne is green.[(triple4 OR ((triple6 triple7) -> rule7) OR ((triple6 ((triple1) -> rule3)) -> rule7) OR ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7))] Anne is kind.[(triple5 OR ((triple3 triple4) -> rule2) OR ((triple3 triple4) -> rule4) OR ((triple7 triple1) -> rule8) OR ((triple3 ((triple6 triple7) -> rule7)) -> rule2) OR ((triple3 ((triple6 triple7) -> rule7)) -> rule4) OR ((triple7 ((triple6) -> rule6)) -> rule8) OR ((((triple1) -> rule3) triple1) -> rule8) OR ((((triple4 triple7) -> rule5) triple4) -> rule2) OR ((((triple4 triple7) -> rule5) triple4) -> rule4) OR ((((triple1) -> rule3) ((triple6) -> rule6)) -> rule8) OR ((((triple4 triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((triple4 triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((triple3 ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((triple3 ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6) -> rule6)) -> rule3) triple1) -> rule8) OR ((((triple4 ((triple1) -> rule3)) -> rule5) triple4) -> rule2) OR ((((triple4 ((triple1) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) triple4) -> rule2) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) triple4) -> rule4) OR ((((((triple6) -> rule6)) -> rule3) ((triple6) -> rule6)) -> rule8) OR ((((triple4 triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple4 ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((triple4 ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) triple4) -> rule4) OR ((((triple4 ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((triple3 ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((triple3 ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) triple4) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) triple4) -> rule4) OR ((((triple4 triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) triple4) -> rule4) OR ((((triple4 ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule4) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((triple4 ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 triple7) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((triple1) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) triple4) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) triple4) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) triple7) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 triple7) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7) ((((triple6) -> rule6)) -> rule3)) -> rule5) ((triple6 ((((triple6) -> rule6)) -> rule3)) -> rule7)) -> rule4))] Anne is red.[(triple6)] Anne is smart.[(triple7 OR ((triple1) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((((triple12) -> rule6) triple11) -> rule1) OR ((triple10 ((((triple12) -> rule6)) -> rule3)) -> rule5) OR ((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule8)) -> rule1) OR ((((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7) ((((triple12) -> rule6)) -> rule3)) -> rule5))] Erin is green.[(triple10 OR ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7))] Erin is kind.[(triple11 OR ((triple9 triple10) -> rule2) OR ((triple9 triple10) -> rule4) OR ((((((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule8) OR ((triple9 ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((triple9 ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((triple10 ((((triple12) -> rule6)) -> rule3)) -> rule5) triple10) -> rule2) OR ((((triple10 ((((triple12) -> rule6)) -> rule3)) -> rule5) triple10) -> rule4) OR ((((triple10 ((((triple12) -> rule6)) -> rule3)) -> rule5) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((triple10 ((((triple12) -> rule6)) -> rule3)) -> rule5) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7) ((((triple12) -> rule6)) -> rule3)) -> rule5) triple10) -> rule2) OR ((((((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7) ((((triple12) -> rule6)) -> rule3)) -> rule5) triple10) -> rule4) OR ((((((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7) ((((triple12) -> rule6)) -> rule3)) -> rule5) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7) ((((triple12) -> rule6)) -> rule3)) -> rule5) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule7)) -> rule4))] Erin is red.[(triple12)] @1: Erin is big.[(((triple12) -> rule6))] @2: Erin is smart.[(((((triple12) -> rule6)) -> rule3))]