The bear is rough. If the bear is round and the bear is blue then the bear is kind. Kind, rough things are round. All blue, kind things are rough. If something is round then it is green. Blue things are round. All rough things are green.
The bear is blue.
@0: The bear is rough.[(triple1)] @1: The bear is green.[(((triple1) -> rule6))]