The inference 'Only a man is a donkey, therefore every donkey is a man' satisfies the substitutional...