The cow is kind. The dog does not like the rabbit. The mouse likes the dog. The rabbit eats the mouse. If someone likes the cow and they visit the mouse then the cow eats the dog. If someone eats the mouse then they like the cow. If the mouse eats the cow then the cow is young. If the cow eats the rabbit then the cow visits the dog. If someone is kind then they eat the rabbit. If someone is cold and they do not visit the rabbit then they eat the mouse.
The cow likes the cow.
@0: The cow is kind.[(triple1)] The dog does not like the rabbit.[(triple2)] The mouse likes the dog.[(triple3)] The rabbit eats the mouse.[(triple4)] @1: The cow eats the rabbit.[(((triple1) -> rule5))] The rabbit likes the cow.[(((triple4) -> rule2))] @2: The cow visits the dog.[(((((triple1) -> rule5)) -> rule4))]