The bear is cold. The bear is green. The bear is nice. The bear is red. The bear is not rough. Red things are not rough. If something is red then it is nice. If something is red and green then it is nice. If the bear is cold and the bear is rough then the bear is green. All cold, rough things are green. Rough, red things are cold.
The bear does not visit the bear.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3 OR ((triple4) -> rule2) OR ((triple4 triple2) -> rule3))] The bear is not rough.[(triple5 OR ((triple4) -> rule1))] The bear is red.[(triple4)]