The bear is big. The bear is cold. The bear is green. The bear is not rough. The bear is young. All rough, green things are not big. If something is rough and big then it is young. If something is big and not rough then it is cold.
The bear is cold.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2 OR ((triple1 triple4) -> rule3))] The bear is green.[(triple3)] The bear is not rough.[(triple4)] The bear is young.[(triple5)]