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