The bear is kind. The cat eats the bear. The cat eats the cow. The cat is red. The cat is not rough. The cat needs the cow. The cow is kind. The cow is not red. The lion visits the bear. The lion visits the cow. If something eats the lion and it is red then it eats the cow. If something eats the cat then the cat eats the cow. If something eats the bear then the bear eats the cat. If something needs the bear then the bear does not need the cow. If something is rough and it eats the bear then the bear does not eat the cat. If something eats the cat and it is not rough then it visits the cat. If the cow visits the bear and the bear needs the lion then the cow needs the lion. If the cow eats the lion and something does not eat the cow then the lion needs the cat.
The lion visits the bear.