... I've returned to studying valid categorical syllogisms. Long story ... ---> ~S is a valid inference (contraposition). In formal logic ... however, this is not a valid form of contraposition. You can ... even a shallow review of valid syllogism forms.
...