A famous syllogisme1 says:

All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.

Assignment

The code block below assigns some sets to variables:

Using set operators and methods, compose Boolean expressions (bool) whose results are assigned to the variables A, B, C, D and E to show that indeed