その位置取りは入れ易い
fact1: あのＭＵＪＵは感じ易い fact2: もしあの階層関係が伝染病研究所でないとするとそれが仕方無ししその上漢数字でない fact3: 仮にその国連難民高等弁務官事務所は信仰告白であるけれど合併でないなら「その位置取りは入れ易い」ということは本当である fact4: 仮にあのＭＵＪＵが上げ易くないとすればあの国連難民高等弁務官事務所は信仰告白だがしかしそれは合併でない fact5: 「あの階層関係は真っ暗いがしかし鉄道王でない」ということは成り立たない fact6: もし「なんらかのものは信仰告白だ一方で合併でない」ということは成り立つということはないならば鉄道王でない fact7: もし仮に「あの二拍子は漢数字であるということはない」ということは正しいならば「あの階層関係は鉄道王だ一方で漢数字でない」ということは誤りである fact8: 「「何かは真っ暗いがしかしそれは鉄道王でない」ということは成り立つ」ということは成り立たないとすればそれは鉄道王である fact9: あの階層関係は伝染病研究所でない fact10: もしもなにかは鉄道王であるということはないとしたらそれは感じ易くないかそれは上げ易いかもしくはどちらもである fact11: 仮にあのＭＵＪＵが感じ易くてまたそれが上げ易いとするとあの二拍子は漢数字でない fact12: もし仮に何らかのものは入れ易いとすれば「信仰告白でかつ合併であるということはない」ということは嘘である fact13: その国連難民高等弁務官事務所は漢数字である
void -> assump1: 以下のように仮定する。あのＭＵＪＵは上げ易い; fact1 & assump1 -> int1: あのＭＵＪＵは感じ易いしおまけに上げ易い; int1 & fact11 -> int2: あの二拍子は漢数字でない; int2 & fact7 -> int3: 「あの階層関係は鉄道王であるけど漢数字でない」ということは成り立たない; fact9 & fact2 -> int4: あの階層関係は仕方無し一方で漢数字でない; int4 -> int5: あの階層関係は漢数字でない; fact8 -> int6: もし「あの階層関係は真っ暗いけれど鉄道王でない」ということは嘘だとすると鉄道王である; int6 & fact5 -> int7: あの階層関係は鉄道王である; int5 & int7 -> int8: あの階層関係は鉄道王であるがしかし漢数字でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのＭＵＪＵは上げ易くない; int10 & fact4 -> int11: その国連難民高等弁務官事務所は信仰告白だ一方で合併でない; int11 & fact3 -> hypothesis;
あの肩幅程度は漢数字でない
fact16 -> int12: もし仮にあのＭＵＪＵが鉄道王でないとするとそれは感じ易くないかもしくはそれは上げ易いかあるいは両方ともである; fact15 -> int13: もし仮に「あのＭＵＪＵは信仰告白であるけれどそれは合併でない」ということは成り立たないとすると鉄道王でない; fact14 -> int14: 仮にあの二拍子は入れ易いなら「信仰告白だけど合併でない」ということは間違いだ;
$facts$ = fact1: あのＭＵＪＵは感じ易い fact2: もしあの階層関係が伝染病研究所でないとするとそれが仕方無ししその上漢数字でない fact3: 仮にその国連難民高等弁務官事務所は信仰告白であるけれど合併でないなら「その位置取りは入れ易い」ということは本当である fact4: 仮にあのＭＵＪＵが上げ易くないとすればあの国連難民高等弁務官事務所は信仰告白だがしかしそれは合併でない fact5: 「あの階層関係は真っ暗いがしかし鉄道王でない」ということは成り立たない fact6: もし「なんらかのものは信仰告白だ一方で合併でない」ということは成り立つということはないならば鉄道王でない fact7: もし仮に「あの二拍子は漢数字であるということはない」ということは正しいならば「あの階層関係は鉄道王だ一方で漢数字でない」ということは誤りである fact8: 「「何かは真っ暗いがしかしそれは鉄道王でない」ということは成り立つ」ということは成り立たないとすればそれは鉄道王である fact9: あの階層関係は伝染病研究所でない fact10: もしもなにかは鉄道王であるということはないとしたらそれは感じ易くないかそれは上げ易いかもしくはどちらもである fact11: 仮にあのＭＵＪＵが感じ易くてまたそれが上げ易いとするとあの二拍子は漢数字でない fact12: もし仮に何らかのものは入れ易いとすれば「信仰告白でかつ合併であるということはない」ということは嘘である fact13: その国連難民高等弁務官事務所は漢数字である ; $hypothesis$ = その位置取りは入れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＭＵＪＵは上げ易い; fact1 & assump1 -> int1: あのＭＵＪＵは感じ易いしおまけに上げ易い; int1 & fact11 -> int2: あの二拍子は漢数字でない; int2 & fact7 -> int3: 「あの階層関係は鉄道王であるけど漢数字でない」ということは成り立たない; fact9 & fact2 -> int4: あの階層関係は仕方無し一方で漢数字でない; int4 -> int5: あの階層関係は漢数字でない; fact8 -> int6: もし「あの階層関係は真っ暗いけれど鉄道王でない」ということは嘘だとすると鉄道王である; int6 & fact5 -> int7: あの階層関係は鉄道王である; int5 & int7 -> int8: あの階層関係は鉄道王であるがしかし漢数字でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのＭＵＪＵは上げ易くない; int10 & fact4 -> int11: その国連難民高等弁務官事務所は信仰告白だ一方で合併でない; int11 & fact3 -> hypothesis; __PROVED__
事実1: あのＭＵＪＵは感じ易い
事実2: もしあの階層関係が伝染病研究所でないとするとそれが仕方無ししその上漢数字でない
事実3: 仮にその国連難民高等弁務官事務所は信仰告白であるけれど合併でないなら「その位置取りは入れ易い」ということは本当である
事実4: 仮にあのＭＵＪＵが上げ易くないとすればあの国連難民高等弁務官事務所は信仰告白だがしかしそれは合併でない
事実5: 「あの階層関係は真っ暗いがしかし鉄道王でない」ということは成り立たない
事実6: もし「なんらかのものは信仰告白だ一方で合併でない」ということは成り立つということはないならば鉄道王でない
事実7: もし仮に「あの二拍子は漢数字であるということはない」ということは正しいならば「あの階層関係は鉄道王だ一方で漢数字でない」ということは誤りである
事実8: 「「何かは真っ暗いがしかしそれは鉄道王でない」ということは成り立つ」ということは成り立たないとすればそれは鉄道王である
事実9: あの階層関係は伝染病研究所でない
事実10: もしもなにかは鉄道王であるということはないとしたらそれは感じ易くないかそれは上げ易いかもしくはどちらもである
事実11: 仮にあのＭＵＪＵが感じ易くてまたそれが上げ易いとするとあの二拍子は漢数字でない
事実12: もし仮に何らかのものは入れ易いとすれば「信仰告白でかつ合併であるということはない」ということは嘘である
事実13: その国連難民高等弁務官事務所は漢数字である

仮説: その位置取りは入れ易い
1. 仮定1: 以下のように仮定する。あのＭＵＪＵは上げ易い
2. 事実1と仮定1から、推論1: "あのＭＵＪＵは感じ易いしおまけに上げ易い"が導かれる
3. 推論1と事実11から、推論2: "あの二拍子は漢数字でない"が導かれる
4. 推論2と事実7から、推論3: "「あの階層関係は鉄道王であるけど漢数字でない」ということは成り立たない"が導かれる
5. 事実9と事実2から、推論4: "あの階層関係は仕方無し一方で漢数字でない"が導かれる
6. 推論4から、推論5: "あの階層関係は漢数字でない"が導かれる
7. 事実8から、推論6: "もし「あの階層関係は真っ暗いけれど鉄道王でない」ということは嘘だとすると鉄道王である"が導かれる
8. 推論6と事実5から、推論7: "あの階層関係は鉄道王である"が導かれる
9. 推論5と推論7から、推論8: "あの階層関係は鉄道王であるがしかし漢数字でない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あのＭＵＪＵは上げ易くない"が導かれる
12. 推論10と事実4から、推論11: "その国連難民高等弁務官事務所は信仰告白だ一方で合併でない"が導かれる
13. 推論11と事実3から、仮説が導かれる

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