The cat chases the dog. The cat eats the mouse. The cat eats the squirrel. The cat is red. The cat is round. The cat visits the dog. The cat visits the mouse. The cat visits the squirrel. The dog eats the mouse. The dog is red. The dog does not visit the mouse. The mouse chases the dog. The mouse eats the cat. The mouse is red. The mouse visits the dog. The squirrel is round. If something visits the mouse then the mouse eats the dog. If something eats the cat and it is not green then it eats the dog. If something visits the cat and the cat visits the squirrel then it visits the dog. If something does not chase the squirrel then the squirrel eats the cat. If the dog chases the cat then the dog is red. If something chases the mouse and it is red then the mouse visits the cat.
The squirrel does not visit the dog.