バーバラ
AはBである、BはCである、ゆえにAはCである、という形の三段論法はバーバラ(Barbara)と呼ばれる。