その期待値は座視出来るかもしくはすーごいかもしくは両方ともだ
fact1: この繰り越し損失が品種改良であるならばその期待値はすーごい fact2: 仮にあのノボラックが合葬すればこの繰り越し損失は品種改良である fact3: そのＳＣＩＤは骨っぽくない fact4: とある物は卵丸窓でない fact5: 仮になにがしかのものが品種改良でないけれどそれが疎ましいとしたらそれは合葬するということはない fact6: もしその期待値はずり落ちないなら「それは座視出来ないしおまけに疎ましくらない」ということは成り立たない fact7: もしそのＳＣＩＤは骨っぽくないなら「ずり落ちないし加えて疎ましくらない」ということは成り立たない fact8: もしあのノボラックは合葬しないならば「「それは卵丸窓であるか見詰めるか両方ともである」ということは確かである」ということは誤りである fact9: もし「あのノボラックはすーごい」ということは事実であるとするとこの繰り越し損失は品種改良でないけどそれは疎ましい fact10: 「そのＳＣＩＤは卵丸窓でないししかも骨っぽくない」ということは事実と異なる fact11: もし仮に「「卵丸窓であるかまたは見詰めるかまたは両方である」ということは確かでない」物があるとするとそのＳＣＩＤは疎ましかない fact12: もしなんらかのものは合葬するということはないならば「それは座視出来るかそれはすーごいかもしくは両方だ」ということは成り立たない fact13: もし仮に「とあるものは合葬しない」ということは成り立つとするとそれはずり落ちない fact14: もしあのノボラックは太陽光線であるとしたらそれはずり落ちないし骨っぽくない fact15: あのノボラックは骨っぽくないとすれば「その期待値は品種改良であるということはない一方でそれは疎ましい」ということは偽である fact16: もし仮に「そのＳＣＩＤがずり落ちないしさらに疎ましくらない」ということは成り立たないなら「それは疎ましい」ということは本当だ fact17: もしもあのノボラックが座視出来るとしたらその期待値は卵丸窓である
void -> assump1: 以下のように仮定する。あのノボラックは合葬しない; fact8 & assump1 -> int1: 「あのノボラックは卵丸窓であるかまたは見詰める」ということは真実でない; int1 -> int2: 「「卵丸窓であるかもしくは見詰める」ということは成り立たない」物はある; int2 & fact11 -> int3: そのＳＣＩＤは疎ましかない; fact7 & fact3 -> int4: 「そのＳＣＩＤはずり落ちないししかも疎ましいということはない」ということは成り立たない; int4 & fact16 -> int5: そのＳＣＩＤは疎ましい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのノボラックは合葬する; int7 & fact2 -> int8: この繰り越し損失は品種改良だ; int8 & fact1 -> int9: その期待値はすーごい; int9 -> hypothesis;
この繰り越し損失はずり落ちない
fact19 -> int10: もし仮にこの繰り越し損失は合葬しないとすれば「ずり落ちない」ということは確かだ; fact18 -> int11: もしこの繰り越し損失が品種改良でないけどそれが疎ましいとすると合葬しない;
$facts$ = fact1: この繰り越し損失が品種改良であるならばその期待値はすーごい fact2: 仮にあのノボラックが合葬すればこの繰り越し損失は品種改良である fact3: そのＳＣＩＤは骨っぽくない fact4: とある物は卵丸窓でない fact5: 仮になにがしかのものが品種改良でないけれどそれが疎ましいとしたらそれは合葬するということはない fact6: もしその期待値はずり落ちないなら「それは座視出来ないしおまけに疎ましくらない」ということは成り立たない fact7: もしそのＳＣＩＤは骨っぽくないなら「ずり落ちないし加えて疎ましくらない」ということは成り立たない fact8: もしあのノボラックは合葬しないならば「「それは卵丸窓であるか見詰めるか両方ともである」ということは確かである」ということは誤りである fact9: もし「あのノボラックはすーごい」ということは事実であるとするとこの繰り越し損失は品種改良でないけどそれは疎ましい fact10: 「そのＳＣＩＤは卵丸窓でないししかも骨っぽくない」ということは事実と異なる fact11: もし仮に「「卵丸窓であるかまたは見詰めるかまたは両方である」ということは確かでない」物があるとするとそのＳＣＩＤは疎ましかない fact12: もしなんらかのものは合葬するということはないならば「それは座視出来るかそれはすーごいかもしくは両方だ」ということは成り立たない fact13: もし仮に「とあるものは合葬しない」ということは成り立つとするとそれはずり落ちない fact14: もしあのノボラックは太陽光線であるとしたらそれはずり落ちないし骨っぽくない fact15: あのノボラックは骨っぽくないとすれば「その期待値は品種改良であるということはない一方でそれは疎ましい」ということは偽である fact16: もし仮に「そのＳＣＩＤがずり落ちないしさらに疎ましくらない」ということは成り立たないなら「それは疎ましい」ということは本当だ fact17: もしもあのノボラックが座視出来るとしたらその期待値は卵丸窓である ; $hypothesis$ = その期待値は座視出来るかもしくはすーごいかもしくは両方ともだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのノボラックは合葬しない; fact8 & assump1 -> int1: 「あのノボラックは卵丸窓であるかまたは見詰める」ということは真実でない; int1 -> int2: 「「卵丸窓であるかもしくは見詰める」ということは成り立たない」物はある; int2 & fact11 -> int3: そのＳＣＩＤは疎ましかない; fact7 & fact3 -> int4: 「そのＳＣＩＤはずり落ちないししかも疎ましいということはない」ということは成り立たない; int4 & fact16 -> int5: そのＳＣＩＤは疎ましい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのノボラックは合葬する; int7 & fact2 -> int8: この繰り越し損失は品種改良だ; int8 & fact1 -> int9: その期待値はすーごい; int9 -> hypothesis; __PROVED__
事実1: この繰り越し損失が品種改良であるならばその期待値はすーごい
事実2: 仮にあのノボラックが合葬すればこの繰り越し損失は品種改良である
事実3: そのＳＣＩＤは骨っぽくない
事実4: とある物は卵丸窓でない
事実5: 仮になにがしかのものが品種改良でないけれどそれが疎ましいとしたらそれは合葬するということはない
事実6: もしその期待値はずり落ちないなら「それは座視出来ないしおまけに疎ましくらない」ということは成り立たない
事実7: もしそのＳＣＩＤは骨っぽくないなら「ずり落ちないし加えて疎ましくらない」ということは成り立たない
事実8: もしあのノボラックは合葬しないならば「「それは卵丸窓であるか見詰めるか両方ともである」ということは確かである」ということは誤りである
事実9: もし「あのノボラックはすーごい」ということは事実であるとするとこの繰り越し損失は品種改良でないけどそれは疎ましい
事実10: 「そのＳＣＩＤは卵丸窓でないししかも骨っぽくない」ということは事実と異なる
事実11: もし仮に「「卵丸窓であるかまたは見詰めるかまたは両方である」ということは確かでない」物があるとするとそのＳＣＩＤは疎ましかない
事実12: もしなんらかのものは合葬するということはないならば「それは座視出来るかそれはすーごいかもしくは両方だ」ということは成り立たない
事実13: もし仮に「とあるものは合葬しない」ということは成り立つとするとそれはずり落ちない
事実14: もしあのノボラックは太陽光線であるとしたらそれはずり落ちないし骨っぽくない
事実15: あのノボラックは骨っぽくないとすれば「その期待値は品種改良であるということはない一方でそれは疎ましい」ということは偽である
事実16: もし仮に「そのＳＣＩＤがずり落ちないしさらに疎ましくらない」ということは成り立たないなら「それは疎ましい」ということは本当だ
事実17: もしもあのノボラックが座視出来るとしたらその期待値は卵丸窓である

仮説: その期待値は座視出来るかもしくはすーごいかもしくは両方ともだ
1. 仮定1: 以下のように仮定する。あのノボラックは合葬しない
2. 事実8と仮定1から、推論1: "「あのノボラックは卵丸窓であるかまたは見詰める」ということは真実でない"が導かれる
3. 推論1から、推論2: "「「卵丸窓であるかもしくは見詰める」ということは成り立たない」物はある"が導かれる
4. 推論2と事実11から、推論3: "そのＳＣＩＤは疎ましかない"が導かれる
5. 事実7と事実3から、推論4: "「そのＳＣＩＤはずり落ちないししかも疎ましいということはない」ということは成り立たない"が導かれる
6. 推論4と事実16から、推論5: "そのＳＣＩＤは疎ましい"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのノボラックは合葬する"が導かれる
9. 推論7と事実2から、推論8: "この繰り越し損失は品種改良だ"が導かれる
10. 推論8と事実1から、推論9: "その期待値はすーごい"が導かれる
11. 推論9から、仮説が導かれる

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