The bear is blue. The bear is green. The bear is red. The bear is not rough. The bear is young. If something is rough then it is young. All red things are young. If the bear is rough then the bear is blue. If the bear is rough and the bear is not red then the bear is green. If something is blue then it is not rough. If something is red and young then it is green. If something is red and not blue then it is green. If something is blue then it is green.
The bear chases the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2 OR ((triple1) -> rule8) OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule6))] The bear is not rough.[(triple4 OR ((triple1) -> rule5))] The bear is red.[(triple3)] The bear is young.[(triple5 OR ((triple3) -> rule2))]