Example 1.
Veb diagram of syllogism (of form AAA-1)