The bear is not cold. The bear is green. The bear is nice. The bear is red. The bear is young. If something is green then it is nice. If something is red and not green then it is not cold.
The bear does not visit the bear.
@0: The bear is green.[(triple2)] The bear is nice.[(triple3 OR ((triple2) -> rule1))] The bear is not cold.[(triple1)] The bear is red.[(triple4)] The bear is young.[(triple5)]