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