ベン図とかド・モルガンの法則とかオイラーでも思いつくよ