The cat is blue. The cat is nice. The cat likes the dog. The cat likes the lion. The cat sees the dog. The cat sees the lion. The dog is nice. The dog likes the cat. The dog sees the cat. The lion sees the dog. Green, nice things are rough. If the lion likes the cat then the cat sees the dog. If the cat likes the dog then the cat visits the lion. If something is nice and it visits the lion then the lion is red. If something visits the cat then it visits the dog. If something sees the cat then the cat is nice. If something visits the dog then the dog visits the lion. If something sees the dog then the dog visits the cat.
The dog does not visit the lion.