The cat visits the mouse. The cow needs the tiger. The mouse likes the tiger. The tiger is young. If someone is young then they like the cow. If someone is rough and they visit the tiger then the tiger needs the mouse. If the tiger needs the mouse and the mouse likes the tiger then the mouse visits the tiger. If someone is green and they visit the tiger then the tiger needs the cat. If someone likes the cow then the cow needs the cat. If someone visits the mouse then they are green.
The tiger visits the mouse.
@0: The cat visits the mouse.[(triple1)] The cow needs the tiger.[(triple2)] The mouse likes the tiger.[(triple3)] The tiger is young.[(triple4)] @1: The cat is green.[(((triple1) -> rule6))] The tiger likes the cow.[(((triple4) -> rule1))] @2: The cow needs the cat.[(((((triple4) -> rule1)) -> rule5))]