The bear is big. The bear is nice. The bear is young. If the bear is big then the bear is nice. If something is young then it is green. If something is young and not red then it is nice. If something is nice and green then it is big. Young, red things are big. Red things are big.
The bear is not nice.
@0: The bear is big.[(triple1 OR ((triple2 ((triple3) -> rule2)) -> rule4))] The bear is nice.[(triple2 OR ((triple1) -> rule1))] The bear is young.[(triple3)] @1: The bear is green.[(((triple3) -> rule2))]