The bear is blue. The bear is cold. The bear is not green. The bear is red. The bear is young. If something is green and red then it is blue. Young things are not green. If something is red and not young then it is cold.
The bear does not need the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is not green.[(triple3 OR ((triple5) -> rule2))] The bear is red.[(triple4)] The bear is young.[(triple5)]