Anne is smart. Anne is white. Dave is white. Smart, white things are green. If something is green and smart then it is cold. If something is red and not smart then it is cold. If something is kind then it is red. Green things are kind. If something is cold then it is kind. All rough, green things are white. If Anne is smart then Anne is green.
Anne is kind.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Dave is white.[(triple3)] @1: Anne is green.[(((triple1) -> rule8) OR ((triple1 triple2) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule8) triple1) -> rule2) OR ((((triple1 triple2) -> rule1) triple1) -> rule2))] Anne is kind.[(((((triple1) -> rule8)) -> rule5) OR ((((triple1 triple2) -> rule1)) -> rule5) OR ((((((triple1) -> rule8) triple1) -> rule2)) -> rule6) OR ((((((triple1 triple2) -> rule1) triple1) -> rule2)) -> rule6))] @3: Anne is red.[(((((((triple1) -> rule8)) -> rule5)) -> rule4) OR ((((((triple1 triple2) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple1) -> rule8) triple1) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple1 triple2) -> rule1) triple1) -> rule2)) -> rule6)) -> rule4))]