本文介绍了如何使用Z3定理证明器来生成辛普森悖论的例子。辛普森悖论是指在分组比较中都占优势的一方，在总评时反而不占优势的现象。文章通过设定两名棒球运动员面对左投手和右投手的打击率，并使用Z3进行约束求解，最终得到一组满足条件的数据，展示了辛普森悖论的发生情况。