履修条件の推論と法学・経済学の共通者

「経済学と政治学を両方履修している全ての学生は統計学も履修している」かつ「法学を履修している学生の中には統計学を履修している学生はいない」という前提から、「法学と経済学を両方履修している学生の中には政治学を履修している学生はいない」が導かれる。

法学・経済学・政治学を全て履修する学生がいるとすると、統計学を履修していることになり、前提と矛盾する。