The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is young. All big people are cold.
The bear does not like the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3 OR ((triple1) -> rule1))] The bear is green.[(triple4)] The bear is young.[(triple5)]