The cow is kind. The mouse is blue. The rabbit likes the mouse. The tiger visits the mouse. If someone is blue then they chase the mouse. If someone likes the rabbit then the rabbit likes the cow. If the mouse visits the rabbit then the mouse chases the rabbit. If someone visits the cow then the cow chases the rabbit. If someone likes the rabbit and they like the mouse then they visit the tiger. If someone likes the tiger then the tiger visits the mouse.
The rabbit does not visit the tiger.
@0: The cow is kind.[(triple1)] The mouse is blue.[(triple2)] The rabbit likes the mouse.[(triple3)] The tiger visits the mouse.[(triple4)] @1: The mouse chases the mouse.[(((triple2) -> rule1))]