The bear is kind. If the bear is kind and the bear is nice then the bear is rough. If something is rough and nice then it is green. All kind things are rough. All kind things are rough. If the bear is kind and the bear is rough then the bear is nice. If the bear is nice then the bear is rough. Nice, kind things are young. If the bear is green and the bear is nice then the bear is young.
The bear eats the bear.
@0: The bear is kind.[(triple1)] @1: The bear is rough.[(((triple1) -> rule3) OR ((triple1) -> rule4))] @2: The bear is nice.[(((triple1 ((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple1) -> rule4)) -> rule5))] @3: The bear is green.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) OR ((((triple1) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) OR ((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2))] The bear is young.[(((((triple1 ((triple1) -> rule3)) -> rule5) triple1) -> rule7) OR ((((triple1 ((triple1) -> rule4)) -> rule5) triple1) -> rule7) OR ((((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1) -> rule3) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule3) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule8))]