The cat is not rough. The cat visits the lion. The cat visits the squirrel. The cow eats the lion. The lion eats the cat. The squirrel chases the lion. The squirrel eats the lion. If something visits the cow then it eats the cow. If something eats the cow and it does not visit the squirrel then it chases the lion. If something is rough then it visits the cow. All big things are rough. If the cat visits the squirrel and the cat is not blue then the squirrel chases the cow. If something eats the lion then the lion is big. If something chases the squirrel then it visits the cat.
The squirrel is big.