The bear is big. The bear is kind. The bear is red. The bear is rough. The bear is young. Young things are rough. If something is big and red then it is young. Big, rough things are young. If something is rough then it is red. All big things are young. If something is young and rough then it is kind. If the bear is big then the bear is kind. All red things are young.
The bear eats the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2 OR ((triple1) -> rule7) OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple5) -> rule1)) -> rule6) OR ((((triple1) -> rule5) triple4) -> rule6) OR ((((triple3) -> rule8) triple4) -> rule6) OR ((((triple1 triple3) -> rule2) triple4) -> rule6) OR ((((triple1 triple4) -> rule3) triple4) -> rule6) OR ((((triple1) -> rule5) ((triple5) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((triple5) -> rule1)) -> rule6) OR ((((triple1 triple3) -> rule2) ((triple5) -> rule1)) -> rule6) OR ((((triple1 triple4) -> rule3) ((triple5) -> rule1)) -> rule6) OR ((triple5 ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((triple5 ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((triple5 ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) triple4) -> rule6) OR ((((triple1 ((triple4) -> rule4)) -> rule2) triple4) -> rule6) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule5) ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple1) -> rule5) ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((triple5) -> rule1)) -> rule6) OR ((((triple1 triple3) -> rule2) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple1 triple3) -> rule2) ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6) OR ((((triple1 triple4) -> rule3) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple1 triple4) -> rule3) ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple1 triple4) -> rule3) ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6) OR ((((triple1 ((triple4) -> rule4)) -> rule2) ((triple5) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6) OR ((((triple1 ((triple4) -> rule4)) -> rule2) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple1 ((triple4) -> rule4)) -> rule2) ((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple1 ((triple4) -> rule4)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule1)) -> rule6))] The bear is red.[(triple3 OR ((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1)) -> rule4))] The bear is rough.[(triple4 OR ((triple5) -> rule1) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple3) -> rule8)) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))] The bear is young.[(triple5 OR ((triple1) -> rule5) OR ((triple3) -> rule8) OR ((triple1 triple3) -> rule2) OR ((triple1 triple4) -> rule3) OR ((((triple4) -> rule4)) -> rule8) OR ((triple1 ((triple4) -> rule4)) -> rule2))]