そのサーはＳＭＳである
fact1: 「その魔法使い達はアレルギー体質であるしかつ重ね合う」ということは確かである fact2: 仮にその魔法使い達がアレルギー体質であるしそれは重ね合うとすれば「そのサーはＳＭＳでない」ということは成り立つ
$facts$ = fact1: 「その魔法使い達はアレルギー体質であるしかつ重ね合う」ということは確かである fact2: 仮にその魔法使い達がアレルギー体質であるしそれは重ね合うとすれば「そのサーはＳＭＳでない」ということは成り立つ ; $hypothesis$ = そのサーはＳＭＳである ; $proof$ = 
事実1: 「その魔法使い達はアレルギー体質であるしかつ重ね合う」ということは確かである
事実2: 仮にその魔法使い達がアレルギー体質であるしそれは重ね合うとすれば「そのサーはＳＭＳでない」ということは成り立つ

仮説: そのサーはＳＭＳである