Anne is cold. Anne is green. Anne is smart. All quiet things are cold. All cold things are smart. If something is nice and smart then it is kind. All smart things are kind. Kind things are round. All cold, kind things are round. All quiet things are green. If something is green and nice then it is cold.
Anne is green.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule2))] @1: Anne is kind.[(((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] @2: Anne is round.[(((((triple3) -> rule4)) -> rule5) OR ((triple1 ((triple3) -> rule4)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4)) -> rule5) OR ((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6))]