The bald eagle chases the bear. The bear needs the tiger. The dog chases the bald eagle. The tiger chases the bear. If something needs the bear then it is blue. If the bear needs the tiger then the tiger is blue. If something needs the bear and the bear does not like the dog then the bear likes the tiger. If the tiger chases the dog then the dog is not rough. If something is blue then it chases the dog. If something is blue then it needs the dog.
The dog needs the dog.
@0: The bald eagle chases the bear.[(triple1)] The bear needs the tiger.[(triple2)] The dog chases the bald eagle.[(triple3)] The tiger chases the bear.[(triple4)] @1: The tiger is blue.[(((triple2) -> rule2))] @2: The tiger chases the dog.[(((((triple2) -> rule2)) -> rule5))] The tiger needs the dog.[(((((triple2) -> rule2)) -> rule6))] @3: The dog is not rough.[(((((((triple2) -> rule2)) -> rule5)) -> rule4))]