Anne is big. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Erin is big. Erin is cold. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. If someone is big then they are rough. If someone is smart and white then they are red. Rough, green people are white. If Anne is smart and Anne is red then Anne is rough. If Erin is white then Erin is cold. If someone is white then they are smart. White, green people are smart. If Erin is red and Erin is white then Erin is cold.
Erin is smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2) OR ((((triple7 triple3) -> rule7) triple7) -> rule2) OR ((((triple7) -> rule6) ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple7 triple3) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((triple6 ((((triple1) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((triple5 triple3) -> rule3)) -> rule6) triple7) -> rule2) OR ((((((triple5 triple3) -> rule3) triple3) -> rule7) triple7) -> rule2) OR ((((triple7) -> rule6) ((((triple1) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((triple5 triple3) -> rule3)) -> rule6) ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple7 triple3) -> rule7) ((((triple1) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((triple5 triple3) -> rule3) triple3) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((((((triple5 triple3) -> rule3)) -> rule6) ((((triple1) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((triple5 triple3) -> rule3) triple3) -> rule7) ((((triple1) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((((triple1) -> rule1) triple3) -> rule3)) -> rule6) triple7) -> rule2) OR ((((((((triple1) -> rule1) triple3) -> rule3) triple3) -> rule7) triple7) -> rule2) OR ((((((((triple1) -> rule1) triple3) -> rule3)) -> rule6) ((triple5 triple3) -> rule3)) -> rule2) OR ((((((((triple1) -> rule1) triple3) -> rule3) triple3) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((((((((triple1) -> rule1) triple3) -> rule3)) -> rule6) ((((triple1) -> rule1) triple3) -> rule3)) -> rule2) OR ((((((((triple1) -> rule1) triple3) -> rule3) triple3) -> rule7) ((((triple1) -> rule1) triple3) -> rule3)) -> rule2))] Anne is rough.[(triple5 OR ((triple1) -> rule1) OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2)) -> rule4) OR ((((triple7) -> rule6) triple4) -> rule4) OR ((((triple7 triple3) -> rule7) triple4) -> rule4) OR ((((triple7) -> rule6) ((triple6 triple7) -> rule2)) -> rule4) OR ((((triple7 triple3) -> rule7) ((triple6 triple7) -> rule2)) -> rule4) OR ((triple6 ((((triple7) -> rule6) triple7) -> rule2)) -> rule4) OR ((triple6 ((((triple7 triple3) -> rule7) triple7) -> rule2)) -> rule4) OR ((((triple7) -> rule6) ((((triple7) -> rule6) triple7) -> rule2)) -> rule4) OR ((((triple7) -> rule6) ((((triple7 triple3) -> rule7) triple7) -> rule2)) -> rule4) OR ((((triple7 triple3) -> rule7) ((((triple7) -> rule6) triple7) -> rule2)) -> rule4) OR ((((triple7 triple3) -> rule7) ((((triple7 triple3) -> rule7) triple7) -> rule2)) -> rule4))] Anne is smart.[(triple6 OR ((triple7) -> rule6) OR ((triple7 triple3) -> rule7) OR ((((triple5 triple3) -> rule3)) -> rule6) OR ((((triple5 triple3) -> rule3) triple3) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule3)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) triple3) -> rule7))] Anne is white.[(triple7 OR ((triple5 triple3) -> rule3) OR ((((triple1) -> rule1) triple3) -> rule3) OR ((((triple6 triple4) -> rule4) triple3) -> rule3))] Erin is big.[(triple8)] Erin is cold.[(triple9 OR ((triple14) -> rule5) OR ((triple11 triple14) -> rule8) OR ((((triple12 triple10) -> rule3)) -> rule5) OR ((triple11 ((triple12 triple10) -> rule3)) -> rule8) OR ((((triple13 triple14) -> rule2) triple14) -> rule8) OR ((((triple13 triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple8) -> rule1) triple10) -> rule3)) -> rule5) OR ((triple11 ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((triple13 ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((triple14) -> rule6) triple14) -> rule2) triple14) -> rule8) OR ((((((triple14 triple10) -> rule7) triple14) -> rule2) triple14) -> rule8) OR ((((triple13 triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((triple13 ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((triple14 triple10) -> rule7) triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14 triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((triple13 ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14 triple10) -> rule7) triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((triple14 triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((triple14 triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((triple13 ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) triple14) -> rule2) triple14) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) triple14) -> rule8) OR ((((triple13 ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((triple14 triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((triple13 ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((triple14) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((triple14 triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((triple14) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((triple14 triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((triple12 triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) triple14) -> rule2) triple14) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) triple14) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) triple14) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((triple12 triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) ((((triple8) -> rule1) triple10) -> rule3)) -> rule8))] Erin is green.[(triple10)] Erin is red.[(triple11 OR ((triple13 triple14) -> rule2) OR ((triple13 ((triple12 triple10) -> rule3)) -> rule2) OR ((((triple14) -> rule6) triple14) -> rule2) OR ((((triple14 triple10) -> rule7) triple14) -> rule2) OR ((((triple14) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) OR ((((triple14 triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) OR ((triple13 ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) OR ((((((triple12 triple10) -> rule3)) -> rule6) triple14) -> rule2) OR ((((((triple12 triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) OR ((((triple14) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) OR ((((((triple12 triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) OR ((((triple14 triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) OR ((((((triple12 triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) OR ((((((triple12 triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) OR ((((((triple12 triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) triple14) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) triple14) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((triple12 triple10) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7) ((((triple8) -> rule1) triple10) -> rule3)) -> rule2))] Erin is rough.[(triple12 OR ((triple8) -> rule1))] Erin is smart.[(triple13 OR ((triple14) -> rule6) OR ((triple14 triple10) -> rule7) OR ((((triple12 triple10) -> rule3)) -> rule6) OR ((((triple12 triple10) -> rule3) triple10) -> rule7) OR ((((((triple8) -> rule1) triple10) -> rule3)) -> rule6) OR ((((((triple8) -> rule1) triple10) -> rule3) triple10) -> rule7))] Erin is white.[(triple14 OR ((triple12 triple10) -> rule3) OR ((((triple8) -> rule1) triple10) -> rule3))]