Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is smart. Anne is white. Anne is young. If someone is big then they are smart. If someone is blue then they are big. All smart, blue people are white. If someone is white and big then they are kind. All smart, young people are blue. All smart people are white. Young people are white. If someone is blue then they are white.
Anne is not kind.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple5 triple7) -> rule5)) -> rule2))] Anne is blue.[(triple2 OR ((triple5 triple7) -> rule5) OR ((((triple1) -> rule1) triple7) -> rule5))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple6 triple1) -> rule4) OR ((triple6 ((triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule8) triple1) -> rule4) OR ((((triple5) -> rule6) triple1) -> rule4) OR ((((triple7) -> rule7) triple1) -> rule4) OR ((((triple5 triple2) -> rule3) triple1) -> rule4) OR ((((triple2) -> rule8) ((triple2) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple2) -> rule2)) -> rule4) OR ((((triple7) -> rule7) ((triple2) -> rule2)) -> rule4) OR ((((triple5 triple2) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((triple6 ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1)) -> rule6) triple1) -> rule4) OR ((((((triple5 triple7) -> rule5)) -> rule8) triple1) -> rule4) OR ((((triple5 ((triple5 triple7) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((triple1) -> rule1) triple2) -> rule3) triple1) -> rule4) OR ((((triple2) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple7) -> rule7) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1)) -> rule6) ((triple2) -> rule2)) -> rule4) OR ((((((triple5 triple7) -> rule5)) -> rule8) ((triple2) -> rule2)) -> rule4) OR ((((triple5 triple2) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((triple5 triple7) -> rule5)) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) triple2) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((triple1) -> rule1)) -> rule6) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 triple7) -> rule5)) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((triple5 triple7) -> rule5)) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) triple2) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1)) -> rule6) triple1) -> rule4) OR ((((((((triple1) -> rule1) triple7) -> rule5)) -> rule8) triple1) -> rule4) OR ((((triple5 ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) triple2) -> rule3) triple1) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1)) -> rule6) ((triple2) -> rule2)) -> rule4) OR ((((((((triple1) -> rule1) triple7) -> rule5)) -> rule8) ((triple2) -> rule2)) -> rule4) OR ((((triple5 ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) triple2) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1)) -> rule6) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple1) -> rule1) triple7) -> rule5)) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((triple5 ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) triple2) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule4))] Anne is smart.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is white.[(triple6 OR ((triple2) -> rule8) OR ((triple5) -> rule6) OR ((triple7) -> rule7) OR ((triple5 triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule6) OR ((((triple5 triple7) -> rule5)) -> rule8) OR ((triple5 ((triple5 triple7) -> rule5)) -> rule3) OR ((((triple1) -> rule1) triple2) -> rule3) OR ((((triple1) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple7) -> rule5)) -> rule8) OR ((triple5 ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule1) triple2) -> rule3) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule1) ((triple5 triple7) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule1) ((((triple1) -> rule1) triple7) -> rule5)) -> rule3))] Anne is young.[(triple7)]