その吸引分娩はえげつなくない
fact1: 仮に「何らかの物は白々しかなくてそれは覆い尽くすということはない」ということは嘘ならばえげつなくない fact2: 仮に「なにかはすっごくないしさらに拘泥しない」ということは成り立たないとすればえげつない fact3: そのバックラインが梃入れするとするとこの学習センターは瞬く fact4: もしなにかは先住者でないなら「すっごくなくてまた拘泥するということはない」ということは成り立たない fact5: もし仮にその揃いが先住者だとするとそのバックラインは梃入れする fact6: もしその揃いが拘泥すればそれは先住者である fact7: もしなにがしかのものが梃入れしないとすると先住者でない fact8: 「その揃いはべた付き易くないかもしくはそれは切り詰めるということはないかどちらもだ」ということは成り立たない fact9: もしもその御城坊主はすっごいとしたら「その揃いは拘泥する」ということは正しい fact10: もし仮になにがしかの物はすっごくないとすると「拘泥するししかも先住者である」ということは成り立たない fact11: もしもその御城坊主が認識し始めるけれど瞬かないとしたらその吸引分娩は梃入れしない fact12: この学習センターは瞬かないけどそれは認識し始める fact13: もし仮に「その揃いはべた付き易くないかまたはそれは切り詰めない」ということは事実と異なるとするとその御城坊主は認識し始める fact14: このエネルギー・セキュリティは梃入れする fact15: その吸引分娩が白々しかなくて覆い尽くさないとするとその御城坊主はすっごい
void -> assump1: 以下のように仮定する。その吸引分娩は白々しかないし加えてそれは覆い尽くさない; fact15 & assump1 -> int1: 「その御城坊主はすっごい」ということは本当である; int1 & fact9 -> int2: その揃いは拘泥する; int2 & fact6 -> int3: その揃いは先住者だ; int3 & fact5 -> int4: そのバックラインは梃入れする; int4 & fact3 -> int5: この学習センターは瞬く; fact12 -> int6: この学習センターは瞬かない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その吸引分娩は白々しいということはなくてまた覆い尽くさない」ということは誤っている; fact1 -> int9: もし仮に「その吸引分娩は白々しかなくて覆い尽くさない」ということは嘘であるならばえげつなくない; int8 & int9 -> hypothesis;
その吸引分娩はえげつない
fact19 -> int10: 仮に「その吸引分娩はすっごくなくてしかも拘泥しない」ということは間違っていればそれはえげつない; fact20 -> int11: 仮にその吸引分娩は先住者でないとしたら「すっごくなくて拘泥しない」ということは成り立たない; fact17 -> int12: もしもその吸引分娩が梃入れしないとすると先住者でない; fact21 & fact18 -> int13: 「その御城坊主は認識し始める」ということは事実だ;
$facts$ = fact1: 仮に「何らかの物は白々しかなくてそれは覆い尽くすということはない」ということは嘘ならばえげつなくない fact2: 仮に「なにかはすっごくないしさらに拘泥しない」ということは成り立たないとすればえげつない fact3: そのバックラインが梃入れするとするとこの学習センターは瞬く fact4: もしなにかは先住者でないなら「すっごくなくてまた拘泥するということはない」ということは成り立たない fact5: もし仮にその揃いが先住者だとするとそのバックラインは梃入れする fact6: もしその揃いが拘泥すればそれは先住者である fact7: もしなにがしかのものが梃入れしないとすると先住者でない fact8: 「その揃いはべた付き易くないかもしくはそれは切り詰めるということはないかどちらもだ」ということは成り立たない fact9: もしもその御城坊主はすっごいとしたら「その揃いは拘泥する」ということは正しい fact10: もし仮になにがしかの物はすっごくないとすると「拘泥するししかも先住者である」ということは成り立たない fact11: もしもその御城坊主が認識し始めるけれど瞬かないとしたらその吸引分娩は梃入れしない fact12: この学習センターは瞬かないけどそれは認識し始める fact13: もし仮に「その揃いはべた付き易くないかまたはそれは切り詰めない」ということは事実と異なるとするとその御城坊主は認識し始める fact14: このエネルギー・セキュリティは梃入れする fact15: その吸引分娩が白々しかなくて覆い尽くさないとするとその御城坊主はすっごい ; $hypothesis$ = その吸引分娩はえげつなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その吸引分娩は白々しかないし加えてそれは覆い尽くさない; fact15 & assump1 -> int1: 「その御城坊主はすっごい」ということは本当である; int1 & fact9 -> int2: その揃いは拘泥する; int2 & fact6 -> int3: その揃いは先住者だ; int3 & fact5 -> int4: そのバックラインは梃入れする; int4 & fact3 -> int5: この学習センターは瞬く; fact12 -> int6: この学習センターは瞬かない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その吸引分娩は白々しいということはなくてまた覆い尽くさない」ということは誤っている; fact1 -> int9: もし仮に「その吸引分娩は白々しかなくて覆い尽くさない」ということは嘘であるならばえげつなくない; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は白々しかなくてそれは覆い尽くすということはない」ということは嘘ならばえげつなくない
事実2: 仮に「なにかはすっごくないしさらに拘泥しない」ということは成り立たないとすればえげつない
事実3: そのバックラインが梃入れするとするとこの学習センターは瞬く
事実4: もしなにかは先住者でないなら「すっごくなくてまた拘泥するということはない」ということは成り立たない
事実5: もし仮にその揃いが先住者だとするとそのバックラインは梃入れする
事実6: もしその揃いが拘泥すればそれは先住者である
事実7: もしなにがしかのものが梃入れしないとすると先住者でない
事実8: 「その揃いはべた付き易くないかもしくはそれは切り詰めるということはないかどちらもだ」ということは成り立たない
事実9: もしもその御城坊主はすっごいとしたら「その揃いは拘泥する」ということは正しい
事実10: もし仮になにがしかの物はすっごくないとすると「拘泥するししかも先住者である」ということは成り立たない
事実11: もしもその御城坊主が認識し始めるけれど瞬かないとしたらその吸引分娩は梃入れしない
事実12: この学習センターは瞬かないけどそれは認識し始める
事実13: もし仮に「その揃いはべた付き易くないかまたはそれは切り詰めない」ということは事実と異なるとするとその御城坊主は認識し始める
事実14: このエネルギー・セキュリティは梃入れする
事実15: その吸引分娩が白々しかなくて覆い尽くさないとするとその御城坊主はすっごい

仮説: その吸引分娩はえげつなくない
1. 仮定1: 以下のように仮定する。その吸引分娩は白々しかないし加えてそれは覆い尽くさない
2. 事実15と仮定1から、推論1: "「その御城坊主はすっごい」ということは本当である"が導かれる
3. 推論1と事実9から、推論2: "その揃いは拘泥する"が導かれる
4. 推論2と事実6から、推論3: "その揃いは先住者だ"が導かれる
5. 推論3と事実5から、推論4: "そのバックラインは梃入れする"が導かれる
6. 推論4と事実3から、推論5: "この学習センターは瞬く"が導かれる
7. 事実12から、推論6: "この学習センターは瞬かない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その吸引分娩は白々しいということはなくてまた覆い尽くさない」ということは誤っている"が導かれる
10. 事実1から、推論9: "もし仮に「その吸引分娩は白々しかなくて覆い尽くさない」ということは嘘であるならばえげつなくない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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