The cat does not visit the mouse. The mouse eats the cat. The rabbit visits the mouse. If something needs the rabbit then the rabbit eats the mouse. If the rabbit needs the cat then the cat needs the mouse. If something needs the cat and the cat is not round then the cat is big. If something needs the rabbit then it eats the rabbit. If something needs the rabbit and the rabbit eats the mouse then it visits the rabbit. If something is red then it does not need the rabbit. If something is nice and it does not need the cat then the cat does not eat the rabbit. If the mouse needs the rabbit and the rabbit is big then the rabbit does not visit the cat.
The cat does not visit the rabbit.
@0: The cat does not visit the mouse.[(triple1)] The mouse eats the cat.[(triple2)] The rabbit visits the mouse.[(triple3)]