The dog is rough. The dog sees the lion. The lion is kind. The lion is not rough. The lion likes the squirrel. The lion sees the squirrel. The mouse is not big. The mouse is green. The mouse visits the lion. The squirrel likes the lion. The squirrel sees the mouse. The squirrel visits the mouse. If something is rough then it visits the squirrel.
The dog does not visit the squirrel.