The bear is blue. The bear is cold. The bear is green. The bear is red. The bear is rough. Blue, green things are red. If the bear is not rough then the bear is not green.
The bear is not blue.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4 OR ((triple1 triple3) -> rule1))] The bear is rough.[(triple5)]