The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is young. Young, green things are cold. Green, young things are big. Blue, young things are big.
The bear chases the bear.
@0: The bear is big.[(triple1 OR ((triple2 triple5) -> rule3) OR ((triple4 triple5) -> rule2))] The bear is blue.[(triple2)] The bear is cold.[(triple3 OR ((triple5 triple4) -> rule1))] The bear is green.[(triple4)] The bear is young.[(triple5)]