The cow eats the squirrel. The cow is blue. The cow visits the squirrel. The squirrel eats the cow. The squirrel is rough. The squirrel is round. The squirrel visits the cow. If something visits the cow then it is round. If something eats the cow then the cow visits the squirrel. If something is green then it eats the squirrel. All blue things are green. If something eats the cow and the cow visits the squirrel then the cow is blue. If something visits the squirrel and it is green then it is round.
The cow is blue.