The bear is big. The bear is green. The bear is nice. The bear is round. The bear is young. All green things are big. Big things are round. If the bear is green then the bear is young. If the bear is green then the bear is big. If the bear is green then the bear is big. All round things are nice. If something is round and not green then it is not nice. Big, round things are young.
The bear does not eat the bear.
@0: The bear is big.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule4) OR ((triple2) -> rule5))] The bear is green.[(triple2)] The bear is nice.[(triple3 OR ((triple4) -> rule6) OR ((((triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple2) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule5)) -> rule2)) -> rule6))] The bear is round.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] The bear is young.[(triple5 OR ((triple2) -> rule3) OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple1) -> rule2)) -> rule8) OR ((((triple2) -> rule1) triple4) -> rule8) OR ((((triple2) -> rule4) triple4) -> rule8) OR ((((triple2) -> rule5) triple4) -> rule8) OR ((((triple2) -> rule1) ((triple1) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple1) -> rule2)) -> rule8) OR ((((triple2) -> rule5) ((triple1) -> rule2)) -> rule8) OR ((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple2) -> rule4)) -> rule2)) -> rule8) OR ((triple1 ((((triple2) -> rule5)) -> rule2)) -> rule8) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule1) ((((triple2) -> rule4)) -> rule2)) -> rule8) OR ((((triple2) -> rule1) ((((triple2) -> rule5)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple2) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple2) -> rule5)) -> rule2)) -> rule8) OR ((((triple2) -> rule5) ((((triple2) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule5) ((((triple2) -> rule4)) -> rule2)) -> rule8) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule2)) -> rule8))]