Anne is big. Anne is cold. Anne is green. Anne is red. Anne is smart. Anne is white. Anne is young. White things are green. If Anne is cold then Anne is red. All cold, young things are big. If something is cold and white then it is young. Cold, white things are big. All smart, young things are cold. White things are big. All white, red things are cold.
Anne is green.
@0: Anne is big.[(triple1 OR ((triple6) -> rule7) OR ((triple2 triple6) -> rule5) OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple2 triple6) -> rule4)) -> rule3) OR ((((triple5 triple7) -> rule6) triple6) -> rule5) OR ((((triple5 triple7) -> rule6) triple7) -> rule3) OR ((((triple6 triple4) -> rule8) triple6) -> rule5) OR ((((triple6 triple4) -> rule8) triple7) -> rule3) OR ((((triple5 triple7) -> rule6) ((triple2 triple6) -> rule4)) -> rule3) OR ((((triple6 triple4) -> rule8) ((triple2 triple6) -> rule4)) -> rule3) OR ((triple2 ((((triple6 triple4) -> rule8) triple6) -> rule4)) -> rule3) OR ((((triple5 triple7) -> rule6) ((((triple6 triple4) -> rule8) triple6) -> rule4)) -> rule3) OR ((((triple6 triple4) -> rule8) ((((triple6 triple4) -> rule8) triple6) -> rule4)) -> rule3))] Anne is cold.[(triple2 OR ((triple5 triple7) -> rule6) OR ((triple6 triple4) -> rule8))] Anne is green.[(triple3 OR ((triple6) -> rule1))] Anne is red.[(triple4 OR ((triple2) -> rule2) OR ((((triple5 triple7) -> rule6)) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple6) -> rule4) OR ((((triple6 triple4) -> rule8) triple6) -> rule4))]