A worker making sure his machine is working correctly .
It is probably not the case that a worker is tired .
It is probably not the case that a worker is tired .
It is probable that a worker is tired .
A worker is tired .