The bear is cold. The bear is nice. The bear is rough. All kind, rough things are nice. All young things are cold. If something is young then it is nice. Rough, cold things are nice. If the bear is rough then the bear is nice. If something is nice then it is young.
The bear is not nice.
@0: The bear is cold.[(triple1 OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple3) -> rule5)) -> rule6)) -> rule2))] The bear is nice.[(triple2 OR ((triple3) -> rule5) OR ((triple3 triple1) -> rule4))] The bear is rough.[(triple3)] @1: The bear is young.[(((triple2) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((triple3 triple1) -> rule4)) -> rule6))]