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