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