The cat is round. The cat likes the dog. The cat visits the dog. The dog likes the rabbit. The mouse is nice. The mouse is red. The mouse visits the rabbit. The rabbit eats the dog. The rabbit visits the dog. The rabbit visits the mouse. If something is big and red then it does not visit the cat. If something likes the mouse then it eats the rabbit. If something likes the mouse and the mouse visits the rabbit then the rabbit likes the mouse. If something is round then it likes the mouse. If something does not like the rabbit then it is red. If something likes the dog then it is not green. If something eats the rabbit then it is big. If something visits the cat then the cat does not eat the mouse. If the dog eats the rabbit and the rabbit likes the mouse then the rabbit visits the cat.
The rabbit visits the cat.