That is a syllogism. A syllogism is “categorical ... Venn’s great realization was that he could alter Euler’s diagrams to ...