165 .5　直言三段论-9.5.1　用维恩图检验三段论的有效性