The inference 'Only a man is a donkey, therefore every donkey is a man' is valid in all substitution...