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