The bear needs the dog. The cow is young. The dog eats the bear. The mouse needs the cow. If something needs the bear then the bear is young. If something is round then it is cold. If something is cold then it is round. If something eats the dog then the dog needs the mouse. If the bear needs the dog then the bear visits the cow. If something needs the cow and it visits the mouse then the cow needs the mouse.
The cow is cold.
@0: The bear needs the dog.[(triple1)] The cow is young.[(triple2)] The dog eats the bear.[(triple3)] The mouse needs the cow.[(triple4)] @1: The bear visits the cow.[(((triple1) -> rule5))]