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