The bear is big. The bear is green. The bear is nice. If something is green then it is nice. If something is young and nice then it is green. If something is nice then it is green. If something is cold and big then it is green. All young things are green. All big things are green. If the bear is cold and the bear is not young then the bear is big. All young things are big.
The bear is not young.
@0: The bear is big.[(triple1)] The bear is green.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule3))] The bear is nice.[(triple3 OR ((triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule1))]