這其中包含了兩個三段論推理.
第一個三段論：
大前提：所有可食的都是食品.（由“所有非食品是不可食的”換質(zhì)成為“所有非食品不是可食的”,再換位成為“所有可食的不是非食品”,再換質(zhì)成“所有可食的是食品”）
小前提：所有蛋類都是可食的
結(jié)論：所有蛋類都是食品.
第二個三段論：
大前提：所有食品是有營養(yǎng)的.
小前提：所有蛋類都是食品.
結(jié)論：所有蛋類是有營養(yǎng)的.
需要注意的是,在這兩個三段論中,第一個三段論的大前提需要對已給的判斷做出幾次變形；第二個三段論中要把第一個三段論的結(jié)論作為小前提.
根據(jù)三段論推理的規(guī)則,上述兩種三段論形式有效.