The inference 'Socrates is not running, therefore a man is not running' is not valid in all substitu...