Anne is big. Anne is kind. Anne is round. If something is rough and green then it is kind. If something is green then it is round. Blue, rough things are cold. If something is big and blue then it is kind. If something is big then it is blue. All cold things are green. All kind, big things are rough. All round, rough things are cold.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((triple1 ((triple1) -> rule5)) -> rule4))] Anne is round.[(triple3 OR ((((((((triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule3)) -> rule6)) -> rule2))] @1: Anne is blue.[(((triple1) -> rule5))] Anne is rough.[(((triple2 triple1) -> rule7) OR ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule7))] @2: Anne is cold.[(((triple3 ((triple2 triple1) -> rule7)) -> rule8) OR ((((triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule3) OR ((triple3 ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule8) OR ((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule3))] @3: Anne is green.[(((((triple3 ((triple2 triple1) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5) ((triple2 triple1) -> rule7)) -> rule3)) -> rule6) OR ((((triple3 ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule3)) -> rule6))]