Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is round. Anne is smart. Anne is white. Blue, nice things are white. Big things are cold. Big, cold things are nice. If Anne is smart and Anne is big then Anne is nice. If something is cold and big then it is blue. If Anne is nice and Anne is cold then Anne is smart. All white things are big. If something is cold then it is smart.
Anne is not nice.
@0: Anne is big.[(triple1 OR ((triple7) -> rule7) OR ((((triple2 triple4) -> rule1)) -> rule7))] Anne is blue.[(triple2 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple7) -> rule7)) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule5) OR ((((triple1) -> rule2) ((triple7) -> rule7)) -> rule5) OR ((((((triple7) -> rule7)) -> rule2) triple1) -> rule5) OR ((((((triple7) -> rule7)) -> rule2) ((triple7) -> rule7)) -> rule5))] Anne is cold.[(triple3 OR ((triple1) -> rule2) OR ((((triple7) -> rule7)) -> rule2) OR ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2))] Anne is nice.[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple6 triple1) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule3) OR ((triple6 ((triple7) -> rule7)) -> rule4) OR ((((triple3) -> rule8) triple1) -> rule4) OR ((((triple7) -> rule7) triple3) -> rule3) OR ((((triple3) -> rule8) ((triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) OR ((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4) OR ((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule8) ((triple7) -> rule7)) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule8) triple1) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule8) ((triple7) -> rule7)) -> rule4))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple3) -> rule8) OR ((triple4 triple3) -> rule6) OR ((((triple1) -> rule2)) -> rule8) OR ((triple4 ((triple1) -> rule2)) -> rule6) OR ((((triple1 triple3) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7)) -> rule2)) -> rule8) OR ((triple4 ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) triple3) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) triple3) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule8) OR ((triple4 ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) triple3) -> rule6) OR ((((triple1 triple3) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) triple3) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple3) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((triple1 ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple1) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule2)) -> rule3) ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule2)) -> rule6))] Anne is white.[(triple7 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple1 triple3) -> rule3)) -> rule1) OR ((triple2 ((triple6 triple1) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple1 triple3) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple6 triple1) -> rule4)) -> rule1) OR ((triple2 ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((triple2 ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple1 triple3) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple6 triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((triple3) -> rule8) triple1) -> rule4)) -> rule1) OR ((triple2 ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule2) triple1) -> rule5) ((((((triple1) -> rule2)) -> rule8) triple1) -> rule4)) -> rule1))]