The syllogism is now written in the most abstract and simple way possible. Any distracting elements, such as English language words, have been removed. Anyone who understands logical symbolism can understand this argument.