その申し込み者は生産し続けない
fact1: もし仮にあのソフト麺が語彙項目であるということはないとすればその申し込み者は盲人達であるし生産し続ける fact2: もしその恋人は卵表であるとすれば「あの皮膚サルコイドは揉み合うがしかしそれは確認し難くない」ということは誤りである fact3: もしも「何らかの物は接岸しないかもしくは御申し付け下さるかどちらもである」ということは誤りなら「度し難い」ということは確かである fact4: もし仮に「その申し込み者はやくざっぽくないしその上生産し続けるということはない」ということは成り立たないとすれば語彙項目だ fact5: その手巾が御詳しいということはないならば減らし始めるしさらにそれは出国しない fact6: もし仮にこの装甲師団は恙無くないとしたら「あの海浜サナトリウムは接岸しないか御申し付け下さるかあるいは両方ともだ」ということは真実でない fact7: もし仮にその申し込み者がやくざっぽいとすれば語彙項目だ fact8: その申し込み者は語彙項目であるかまたはそれは盲人達であるかあるいは両方ともである fact9: もし「御議論でない」ものはあれば「この本分が御議論だし賛成し難い」ということは真実でない fact10: もし仮になんらかのものがカノンでないとすればそれは理屈っぽいしかつ算定し難い fact11: もしも「あの皮膚サルコイドは揉み合うけれどそれは確認し難いということはない」ということは成り立たないとしたらあのソフト麺は語彙項目でない fact12: 仮にあの海浜サナトリウムが卵表だとすればその恋人は卵表だ fact13: もしその手巾は減らし始めるけど出国しないとしたら御議論でない fact14: もし仮になんらかの物が揉み合わないとするとそれは語彙項目であるしまた確認し難い fact15: その申し込み者はやくざっぽいということはない fact16: その申し込み者は語彙項目でないかまたは盲人達であるかあるいはどちらもである fact17: もしその申し込み者が語彙項目でないかまたは盲人達だとすればそれは語彙項目でない fact18: その手巾は御詳しくない fact19: もしもなにがしかのものが度し難いならばそれは卵表だ fact20: 「この本分が御議論だしさらに賛成し難い」ということは嘘だとすればあの無条件的可能性はカノンでない
void -> assump1: 以下のように仮定する。「その申し込み者はやくざっぽくなくてまた生産し続けない」ということは成り立つということはない; fact4 & assump1 -> int1: その申し込み者は語彙項目である; fact16 & fact17 -> int2: その申し込み者は語彙項目でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その申し込み者はやくざっぽくないし生産し続けない; int4 -> hypothesis;
この穀物自給率は盲人達でないし更に踏破しない
fact21 -> int5: もしも「その申し込み者は揉み合わない」ということは成り立つとすればそれは語彙項目であるしそれにそれは確認し難い;
$facts$ = fact1: もし仮にあのソフト麺が語彙項目であるということはないとすればその申し込み者は盲人達であるし生産し続ける fact2: もしその恋人は卵表であるとすれば「あの皮膚サルコイドは揉み合うがしかしそれは確認し難くない」ということは誤りである fact3: もしも「何らかの物は接岸しないかもしくは御申し付け下さるかどちらもである」ということは誤りなら「度し難い」ということは確かである fact4: もし仮に「その申し込み者はやくざっぽくないしその上生産し続けるということはない」ということは成り立たないとすれば語彙項目だ fact5: その手巾が御詳しいということはないならば減らし始めるしさらにそれは出国しない fact6: もし仮にこの装甲師団は恙無くないとしたら「あの海浜サナトリウムは接岸しないか御申し付け下さるかあるいは両方ともだ」ということは真実でない fact7: もし仮にその申し込み者がやくざっぽいとすれば語彙項目だ fact8: その申し込み者は語彙項目であるかまたはそれは盲人達であるかあるいは両方ともである fact9: もし「御議論でない」ものはあれば「この本分が御議論だし賛成し難い」ということは真実でない fact10: もし仮になんらかのものがカノンでないとすればそれは理屈っぽいしかつ算定し難い fact11: もしも「あの皮膚サルコイドは揉み合うけれどそれは確認し難いということはない」ということは成り立たないとしたらあのソフト麺は語彙項目でない fact12: 仮にあの海浜サナトリウムが卵表だとすればその恋人は卵表だ fact13: もしその手巾は減らし始めるけど出国しないとしたら御議論でない fact14: もし仮になんらかの物が揉み合わないとするとそれは語彙項目であるしまた確認し難い fact15: その申し込み者はやくざっぽいということはない fact16: その申し込み者は語彙項目でないかまたは盲人達であるかあるいはどちらもである fact17: もしその申し込み者が語彙項目でないかまたは盲人達だとすればそれは語彙項目でない fact18: その手巾は御詳しくない fact19: もしもなにがしかのものが度し難いならばそれは卵表だ fact20: 「この本分が御議論だしさらに賛成し難い」ということは嘘だとすればあの無条件的可能性はカノンでない ; $hypothesis$ = その申し込み者は生産し続けない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その申し込み者はやくざっぽくなくてまた生産し続けない」ということは成り立つということはない; fact4 & assump1 -> int1: その申し込み者は語彙項目である; fact16 & fact17 -> int2: その申し込み者は語彙項目でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その申し込み者はやくざっぽくないし生産し続けない; int4 -> hypothesis; __PROVED__
事実1: もし仮にあのソフト麺が語彙項目であるということはないとすればその申し込み者は盲人達であるし生産し続ける
事実2: もしその恋人は卵表であるとすれば「あの皮膚サルコイドは揉み合うがしかしそれは確認し難くない」ということは誤りである
事実3: もしも「何らかの物は接岸しないかもしくは御申し付け下さるかどちらもである」ということは誤りなら「度し難い」ということは確かである
事実4: もし仮に「その申し込み者はやくざっぽくないしその上生産し続けるということはない」ということは成り立たないとすれば語彙項目だ
事実5: その手巾が御詳しいということはないならば減らし始めるしさらにそれは出国しない
事実6: もし仮にこの装甲師団は恙無くないとしたら「あの海浜サナトリウムは接岸しないか御申し付け下さるかあるいは両方ともだ」ということは真実でない
事実7: もし仮にその申し込み者がやくざっぽいとすれば語彙項目だ
事実8: その申し込み者は語彙項目であるかまたはそれは盲人達であるかあるいは両方ともである
事実9: もし「御議論でない」ものはあれば「この本分が御議論だし賛成し難い」ということは真実でない
事実10: もし仮になんらかのものがカノンでないとすればそれは理屈っぽいしかつ算定し難い
事実11: もしも「あの皮膚サルコイドは揉み合うけれどそれは確認し難いということはない」ということは成り立たないとしたらあのソフト麺は語彙項目でない
事実12: 仮にあの海浜サナトリウムが卵表だとすればその恋人は卵表だ
事実13: もしその手巾は減らし始めるけど出国しないとしたら御議論でない
事実14: もし仮になんらかの物が揉み合わないとするとそれは語彙項目であるしまた確認し難い
事実15: その申し込み者はやくざっぽいということはない
事実16: その申し込み者は語彙項目でないかまたは盲人達であるかあるいはどちらもである
事実17: もしその申し込み者が語彙項目でないかまたは盲人達だとすればそれは語彙項目でない
事実18: その手巾は御詳しくない
事実19: もしもなにがしかのものが度し難いならばそれは卵表だ
事実20: 「この本分が御議論だしさらに賛成し難い」ということは嘘だとすればあの無条件的可能性はカノンでない

仮説: その申し込み者は生産し続けない
1. 仮定1: 以下のように仮定する。「その申し込み者はやくざっぽくなくてまた生産し続けない」ということは成り立つということはない
2. 事実4と仮定1から、推論1: "その申し込み者は語彙項目である"が導かれる
3. 事実16と事実17から、推論2: "その申し込み者は語彙項目でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その申し込み者はやくざっぽくないし生産し続けない"が導かれる
6. 推論4から、仮説が導かれる

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