The bear is red. If the bear is rough and the bear is blue then the bear is green. Kind things are blue. All green things are kind. If the bear is red then the bear is not rough. Blue, rough things are red. Kind things are red.
The bear does not need the bear.
@0: The bear is red.[(triple1)] @1: The bear is not rough.[(((triple1) -> rule4))]