The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is red. All blue things are cold. Red things are kind. All cold things are blue.
The bear does not need the bear.
@0: The bear is blue.[(triple1 OR ((triple2) -> rule3))] The bear is cold.[(triple2 OR ((triple1) -> rule1))] The bear is green.[(triple3)] The bear is kind.[(triple4 OR ((triple5) -> rule2))] The bear is red.[(triple5)]