The bear is blue. The bear is green. The bear is young. All green, kind people are blue. Blue, green people are kind. Green, blue people are young. If the bear is green and the bear is kind then the bear is blue. All young people are kind. Round people are green. Green people are blue. All young, kind people are round.
The bear is not blue.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule7) OR ((triple2 ((triple3) -> rule5)) -> rule1) OR ((triple2 ((triple3) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule5)) -> rule8)) -> rule6)) -> rule7) OR ((((((triple3 ((triple3) -> rule5)) -> rule8)) -> rule6) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 ((triple3) -> rule5)) -> rule8)) -> rule6) ((triple3) -> rule5)) -> rule4))] The bear is green.[(triple2 OR ((((triple3 ((triple3) -> rule5)) -> rule8)) -> rule6))] The bear is young.[(triple3 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple2) -> rule7)) -> rule3))] @1: The bear is kind.[(((triple3) -> rule5) OR ((triple1 triple2) -> rule2) OR ((((triple2 triple1) -> rule3)) -> rule5) OR ((((triple2) -> rule7) triple2) -> rule2) OR ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule5))] @2: The bear is round.[(((triple3 ((triple3) -> rule5)) -> rule8) OR ((triple3 ((triple1 triple2) -> rule2)) -> rule8) OR ((((triple2 triple1) -> rule3) ((triple3) -> rule5)) -> rule8) OR ((((triple2 triple1) -> rule3) ((triple1 triple2) -> rule2)) -> rule8) OR ((triple3 ((((triple2 triple1) -> rule3)) -> rule5)) -> rule8) OR ((triple3 ((((triple2) -> rule7) triple2) -> rule2)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((triple2) -> rule7) triple2) -> rule2)) -> rule8) OR ((((triple2 ((triple2) -> rule7)) -> rule3) ((triple3) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule7)) -> rule3) ((triple1 triple2) -> rule2)) -> rule8) OR ((((triple2 ((triple2) -> rule7)) -> rule3) ((((triple2 triple1) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule7)) -> rule3) ((((triple2) -> rule7) triple2) -> rule2)) -> rule8) OR ((triple3 ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule7)) -> rule3) ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule5)) -> rule8))]