The dog eats the mouse. The lion eats the dog. The lion visits the tiger. The mouse is round. The mouse sees the lion. The tiger eats the mouse. The tiger sees the mouse. If something sees the mouse then the mouse is round. If something visits the dog then it sees the dog. If something sees the dog then the dog sees the lion. If something eats the tiger then the tiger does not see the lion. If something is green then it eats the dog. If something sees the lion then it visits the dog. If something is round and it does not visit the dog then it eats the tiger.
The dog eats the tiger.