The bear is cold. The bear is green. The bear is kind. The bear is red. The bear is young. If something is kind then it is green. If the bear is young then the bear is red.
The bear sees the bear.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2 OR ((triple3) -> rule1))] The bear is kind.[(triple3)] The bear is red.[(triple4 OR ((triple5) -> rule2))] The bear is young.[(triple5)]