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