その乳酸リンゲル液は非人頭であるかまたはそれは頽れるかもしくは両方だ
fact1: 「何かは侮辱しない」ということは成り立つとしたら「「非人頭であるかまたはそれは頽れるかあるいは両方ともだ」ということは成り立つ」ということは誤っている fact2: 仮に「その乳酸リンゲル液は礼儀正しいということはないがそれは侮辱する」ということは間違いであるとすればそれは掻き易い fact3: この人買いが発揮し易いならば掻き易くないしそれは行動しない fact4: もし仮にこの人買いは田圃であるけれど真っ黒くないならば発揮し易い fact5: 「その乳酸リンゲル液は補給基地でない」ということは本当だ fact6: もしその沈下は凄まじくないならば「それは補給基地であるしそれは快くない」ということは正しい fact7: もし仮にその運動野は侮辱するとすれば「「「その乳酸リンゲル液は礼儀正しくないが侮辱する」ということは成り立つ」ということは誤っている」ということは成り立つ fact8: あの瞳先生は掻き易い fact9: その運動野は頽れない fact10: その乳酸リンゲル液は六文字集合だ fact11: 仮にその乳酸リンゲル液は掻き易いとすれば「頽れる」ということは本当である fact12: 「その運動野は侮辱しない一方で礼儀正しい」ということは成り立つということはない fact13: 仮にその運動野が侮辱しないなら面倒臭くてそれは補給基地でない fact14: 掻き易くない物は甘え過ぎるかまたは礼儀正しいかもしくは両方である fact15: 仮にその運動野が頽れるとすれば礼儀正しくないが掻き易い fact16: もし仮にその運動野が礼儀正しいとすればその乳酸リンゲル液は侮辱しない fact17: 「その乳酸リンゲル液は非人頭だ」ということは成り立つとすると「その運動野は頽れないがしかしそれは非人頭だ」ということは嘘である fact18: 「その運動野はおっかなくない」ということは成り立つ fact19: 「その運動野は面倒臭いということはない」ということは真実だ
void -> assump1: 以下のように仮定する。その運動野は侮辱しない; fact13 & assump1 -> int1: その運動野は面倒臭いがしかしそれは補給基地でない; int1 -> int2: その運動野は面倒臭い; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: その運動野は侮辱する; int4 & fact7 -> int5: 「その乳酸リンゲル液は礼儀正しくない一方で侮辱する」ということは嘘だ; int5 & fact2 -> int6: その乳酸リンゲル液は掻き易い; int6 & fact11 -> int7: その乳酸リンゲル液は頽れる; int7 -> hypothesis;
「その乳酸リンゲル液は非人頭であるかあるいは頽れるかまたは両方である」ということは間違っている
fact22 -> int8: その乳酸リンゲル液は侮辱しないとすれば「非人頭であるか頽れるかもしくは両方ともである」ということは誤りだ; fact20 -> int9: 仮にこの人買いが掻き易くないとしたら甘え過ぎるかもしくは礼儀正しい;
$facts$ = fact1: 「何かは侮辱しない」ということは成り立つとしたら「「非人頭であるかまたはそれは頽れるかあるいは両方ともだ」ということは成り立つ」ということは誤っている fact2: 仮に「その乳酸リンゲル液は礼儀正しいということはないがそれは侮辱する」ということは間違いであるとすればそれは掻き易い fact3: この人買いが発揮し易いならば掻き易くないしそれは行動しない fact4: もし仮にこの人買いは田圃であるけれど真っ黒くないならば発揮し易い fact5: 「その乳酸リンゲル液は補給基地でない」ということは本当だ fact6: もしその沈下は凄まじくないならば「それは補給基地であるしそれは快くない」ということは正しい fact7: もし仮にその運動野は侮辱するとすれば「「「その乳酸リンゲル液は礼儀正しくないが侮辱する」ということは成り立つ」ということは誤っている」ということは成り立つ fact8: あの瞳先生は掻き易い fact9: その運動野は頽れない fact10: その乳酸リンゲル液は六文字集合だ fact11: 仮にその乳酸リンゲル液は掻き易いとすれば「頽れる」ということは本当である fact12: 「その運動野は侮辱しない一方で礼儀正しい」ということは成り立つということはない fact13: 仮にその運動野が侮辱しないなら面倒臭くてそれは補給基地でない fact14: 掻き易くない物は甘え過ぎるかまたは礼儀正しいかもしくは両方である fact15: 仮にその運動野が頽れるとすれば礼儀正しくないが掻き易い fact16: もし仮にその運動野が礼儀正しいとすればその乳酸リンゲル液は侮辱しない fact17: 「その乳酸リンゲル液は非人頭だ」ということは成り立つとすると「その運動野は頽れないがしかしそれは非人頭だ」ということは嘘である fact18: 「その運動野はおっかなくない」ということは成り立つ fact19: 「その運動野は面倒臭いということはない」ということは真実だ ; $hypothesis$ = その乳酸リンゲル液は非人頭であるかまたはそれは頽れるかもしくは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その運動野は侮辱しない; fact13 & assump1 -> int1: その運動野は面倒臭いがしかしそれは補給基地でない; int1 -> int2: その運動野は面倒臭い; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: その運動野は侮辱する; int4 & fact7 -> int5: 「その乳酸リンゲル液は礼儀正しくない一方で侮辱する」ということは嘘だ; int5 & fact2 -> int6: その乳酸リンゲル液は掻き易い; int6 & fact11 -> int7: その乳酸リンゲル液は頽れる; int7 -> hypothesis; __PROVED__
事実1: 「何かは侮辱しない」ということは成り立つとしたら「「非人頭であるかまたはそれは頽れるかあるいは両方ともだ」ということは成り立つ」ということは誤っている
事実2: 仮に「その乳酸リンゲル液は礼儀正しいということはないがそれは侮辱する」ということは間違いであるとすればそれは掻き易い
事実3: この人買いが発揮し易いならば掻き易くないしそれは行動しない
事実4: もし仮にこの人買いは田圃であるけれど真っ黒くないならば発揮し易い
事実5: 「その乳酸リンゲル液は補給基地でない」ということは本当だ
事実6: もしその沈下は凄まじくないならば「それは補給基地であるしそれは快くない」ということは正しい
事実7: もし仮にその運動野は侮辱するとすれば「「「その乳酸リンゲル液は礼儀正しくないが侮辱する」ということは成り立つ」ということは誤っている」ということは成り立つ
事実8: あの瞳先生は掻き易い
事実9: その運動野は頽れない
事実10: その乳酸リンゲル液は六文字集合だ
事実11: 仮にその乳酸リンゲル液は掻き易いとすれば「頽れる」ということは本当である
事実12: 「その運動野は侮辱しない一方で礼儀正しい」ということは成り立つということはない
事実13: 仮にその運動野が侮辱しないなら面倒臭くてそれは補給基地でない
事実14: 掻き易くない物は甘え過ぎるかまたは礼儀正しいかもしくは両方である
事実15: 仮にその運動野が頽れるとすれば礼儀正しくないが掻き易い
事実16: もし仮にその運動野が礼儀正しいとすればその乳酸リンゲル液は侮辱しない
事実17: 「その乳酸リンゲル液は非人頭だ」ということは成り立つとすると「その運動野は頽れないがしかしそれは非人頭だ」ということは嘘である
事実18: 「その運動野はおっかなくない」ということは成り立つ
事実19: 「その運動野は面倒臭いということはない」ということは真実だ

仮説: その乳酸リンゲル液は非人頭であるかまたはそれは頽れるかもしくは両方だ
1. 仮定1: 以下のように仮定する。その運動野は侮辱しない
2. 事実13と仮定1から、推論1: "その運動野は面倒臭いがしかしそれは補給基地でない"が導かれる
3. 推論1から、推論2: "その運動野は面倒臭い"が導かれる
4. 推論2と事実19から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その運動野は侮辱する"が導かれる
6. 推論4と事実7から、推論5: "「その乳酸リンゲル液は礼儀正しくない一方で侮辱する」ということは嘘だ"が導かれる
7. 推論5と事実2から、推論6: "その乳酸リンゲル液は掻き易い"が導かれる
8. 推論6と事実11から、推論7: "その乳酸リンゲル液は頽れる"が導かれる
9. 推論7から、仮説が導かれる

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