The bear needs the tiger. The cat is green. The tiger needs the bear. If something needs the bear and it eats the cat then the bear visits the tiger. If the tiger needs the cat and the cat visits the tiger then the cat needs the tiger. If something is round then it is cold. If something needs the tiger then the tiger visits the bear. If something is cold and it visits the bear then the bear eats the tiger. If something eats the bear then it needs the tiger.
The tiger does not need the tiger.
@0: The bear needs the tiger.[(triple1)] The cat is green.[(triple2)] The tiger needs the bear.[(triple3)] @1: The tiger visits the bear.[(((triple1) -> rule4))]