The bear is red. The bear is rough. The dog is green. If something needs the bear then the bear needs the dog. If something needs the bear then the bear needs the dog. If something likes the bear then it is green. If something is rough then it likes the bear. If something likes the bear and it is green then it likes the dog. If something is red and it visits the bear then it needs the bear.
The bear is not green.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The dog is green.[(triple3)] @1: The bear likes the bear.[(((triple2) -> rule4))] @2: The bear is green.[(((((triple2) -> rule4)) -> rule3))] @3: The bear likes the dog.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule3)) -> rule5))]