The proposition 'Always, if every A is B, then every C is D' implies 'Never, if every A is B, then n...