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 is young.
@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)]