The bear is not cold. The bear is green. The bear is not rough. All red people are big. Cold people are not big. If the bear is green then the bear is red.
The bear is not big.
@0: The bear is green.[(triple2)] The bear is not cold.[(triple1)] The bear is not rough.[(triple3)] @1: The bear is red.[(((triple2) -> rule3))] @2: The bear is big.[(((((triple2) -> rule3)) -> rule1))]