The bear is blue. The bear is cold. The bear is green. The bear is rough. The bear is young. If the bear is young then the bear is cold. Cold people are green. Young, blue people are green.
The bear is not cold.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2 OR ((triple5) -> rule1))] The bear is green.[(triple3 OR ((triple2) -> rule2) OR ((triple5 triple1) -> rule3) OR ((((triple5) -> rule1)) -> rule2))] The bear is rough.[(triple4)] The bear is young.[(triple5)]