もし仮にあの作り手が出演しないならその服役中はミルクホイッパーであるかもしくはそれは住み込む
fact1: その服役中は漬け込むしさらに残り難い fact2: もし何らかのものは出演するとすれば「ミルクホイッパーでないしそれは抗齲蝕性である」ということは事実と異なる fact3: 仮にその服役中が飽き足るとしたらミルクホイッパーである fact4: もしも何かは漬け込めばそれは出演する fact5: 仮に何らかのものはミルクホイッパーであるとしたら住み込む fact6: その服役中が飽き足らないし瞑想でないとすればあの作り手は出演する fact7: もしもその服役中が飽き足る一方で瞑想でないとするとあの作り手は出演する fact8: もし仮に「その服役中は飽き足らないしそれに瞑想でない」ということは誤りならそれはミルクホイッパーである
void -> assump2: 以下のように仮定する。その服役中は飽き足らないし瞑想でない; fact6 & assump2 -> int1: あの作り手は出演する; void -> assump1: 以下のように仮定する。あの作り手は出演しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その服役中は飽き足らないしそれにそれは瞑想でない」ということは間違いである; int3 & fact8 -> int4: その服役中はミルクホイッパーである; int4 -> int5: その服役中はミルクホイッパーであるかまたは住み込む; [assump1] & int5 -> hypothesis;
その山雀は住み込む
fact9 -> int6: もしその山雀はミルクホイッパーなら「それは住み込む」ということは正しい; fact10 -> int7: 仮にその服役中は出演すれば「それはミルクホイッパーでなくてしかもそれは抗齲蝕性である」ということは成り立たない; fact12 -> int8: もしその服役中が漬け込むとすれば出演する; fact11 -> int9: その服役中は漬け込む; int8 & int9 -> int10: その服役中は出演する; int7 & int10 -> int11: 「その服役中はミルクホイッパーでないがしかし抗齲蝕性である」ということは成り立つということはない; int11 -> int12: 「「ミルクホイッパーでないけれど抗齲蝕性だ」ということは偽である」物はある;
$facts$ = fact1: その服役中は漬け込むしさらに残り難い fact2: もし何らかのものは出演するとすれば「ミルクホイッパーでないしそれは抗齲蝕性である」ということは事実と異なる fact3: 仮にその服役中が飽き足るとしたらミルクホイッパーである fact4: もしも何かは漬け込めばそれは出演する fact5: 仮に何らかのものはミルクホイッパーであるとしたら住み込む fact6: その服役中が飽き足らないし瞑想でないとすればあの作り手は出演する fact7: もしもその服役中が飽き足る一方で瞑想でないとするとあの作り手は出演する fact8: もし仮に「その服役中は飽き足らないしそれに瞑想でない」ということは誤りならそれはミルクホイッパーである ; $hypothesis$ = もし仮にあの作り手が出演しないならその服役中はミルクホイッパーであるかもしくはそれは住み込む ; $proof$ = 
void -> assump2: 以下のように仮定する。その服役中は飽き足らないし瞑想でない; fact6 & assump2 -> int1: あの作り手は出演する; void -> assump1: 以下のように仮定する。あの作り手は出演しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その服役中は飽き足らないしそれにそれは瞑想でない」ということは間違いである; int3 & fact8 -> int4: その服役中はミルクホイッパーである; int4 -> int5: その服役中はミルクホイッパーであるかまたは住み込む; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その服役中は漬け込むしさらに残り難い
事実2: もし何らかのものは出演するとすれば「ミルクホイッパーでないしそれは抗齲蝕性である」ということは事実と異なる
事実3: 仮にその服役中が飽き足るとしたらミルクホイッパーである
事実4: もしも何かは漬け込めばそれは出演する
事実5: 仮に何らかのものはミルクホイッパーであるとしたら住み込む
事実6: その服役中が飽き足らないし瞑想でないとすればあの作り手は出演する
事実7: もしもその服役中が飽き足る一方で瞑想でないとするとあの作り手は出演する
事実8: もし仮に「その服役中は飽き足らないしそれに瞑想でない」ということは誤りならそれはミルクホイッパーである

仮説: もし仮にあの作り手が出演しないならその服役中はミルクホイッパーであるかもしくはそれは住み込む
1. 仮定2: 以下のように仮定する。その服役中は飽き足らないし瞑想でない
2. 事実6と仮定2から、推論1: "あの作り手は出演する"が導かれる
3. 仮定1: 以下のように仮定する。あの作り手は出演しない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その服役中は飽き足らないしそれにそれは瞑想でない」ということは間違いである"が導かれる
6. 推論3と事実8から、推論4: "その服役中はミルクホイッパーである"が導かれる
7. 推論4から、推論5: "その服役中はミルクホイッパーであるかまたは住み込む"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

よって、仮説が証明されました。