The cat eats the cow. The cat needs the mouse. The cat visits the lion. The cow eats the mouse. The cow visits the lion. The cow visits the mouse. The lion is red. The lion is young. The lion needs the cow. The lion visits the cow. The mouse is young. The mouse needs the cat. If the cat is green then the cat visits the lion. If something visits the mouse then it is young. If something is young and it visits the mouse then it needs the cat. If something is red then it needs the cat. If something is green then it visits the mouse. If something visits the cat and the cat is big then it is big.
The cow is not big.