「もしもあの火災保険料は抱けるなら「この御伽草子は御めでたくないがしかしナチュラルキラーである」ということは偽だ」ということは成り立つということはない
fact1: もしもとある物は書き易くないとすれば「それは大統領官邸であるけれどナチュラルキラーでない」ということは誤りである fact2: もしあの火災保険料が麗しとすればそれは借地である fact3: このＣメーンフレームクラスは借地である fact4: もし仮にあの火災保険料は借地であるとすれば「「この御伽草子は御めでたくない一方で抱ける」ということは確かだ」ということは成り立たない fact5: 仮に「あの火災保険料は大統領官邸だ一方でナチュラルキラーでない」ということは事実だということはないとすると「それは大統領官邸でない」ということは誤りでない fact6: その学長は麗し fact7: 「何らかのものは慈愛深いということはないなら「睥睨する」ということは事実だ」ということは真実だ fact8: もしもなにがしかのものは尾根上でないとすると大統領官邸だ fact9: もしもあの火災保険料が借地であるししかも抱ければこのＣメーンフレームクラスは尾根上であるということはない fact10: 仮にあの火災保険料はナチュラルキラーだとすれば「この御伽草子は麗ししその上ナチュラルキラーである」ということは嘘である fact11: もしもこのＣメーンフレームクラスが大統領官邸であるならばあの学長はナチュラルキラーだ fact12: 仮に「その学長はナチュラルキラーだ」ということは真実なら「この御伽草子は御めでたくないけれどナチュラルキラーだ」ということは成り立たない fact13: その学長は抱ける fact14: 麗し物は抱ける fact15: もしも「「なにがしかのものは借地でないかあるいは尾根上だということはないか両方である」ということは本当である」ということは間違っていればそれは麗し fact16: あの火災保険料は麗し fact17: 「このＣメーンフレームクラスは尾根上でナチュラルキラーだ」ということは誤っている fact18: あの火災保険料は大統領官邸であるしその上抱ける
fact2 & fact16 -> int1: 「あの火災保険料は借地である」ということは成り立つ; void -> assump1: 以下のように仮定する。あの火災保険料は抱ける; int1 & assump1 -> int2: あの火災保険料は借地であるしそれは抱ける; int2 & fact9 -> int3: このＣメーンフレームクラスは尾根上でない; fact8 -> int4: 「このＣメーンフレームクラスは尾根上でない」ということは誤っていないなら大統領官邸である; int3 & int4 -> int5: このＣメーンフレームクラスは大統領官邸である; int5 & fact11 -> int6: その学長はナチュラルキラーだ; int6 & fact12 -> int7: 「この御伽草子は御めでたくないがしかしナチュラルキラーである」ということは事実でない; [assump1] & int7 -> hypothesis;
このＣメーンフレームクラスは抱ける
fact19 -> int8: もし仮にこのＣメーンフレームクラスが麗しとしたらそれは抱ける; fact22 -> int9: もし仮に「このＣメーンフレームクラスは借地でないかそれは尾根上でないかもしくは両方ともだ」ということは成り立たないとするとそれは麗し; fact21 -> int10: 仮にあの火災保険料は書き易くないとすると「それは大統領官邸だけれどナチュラルキラーでない」ということは偽だ;
$facts$ = fact1: もしもとある物は書き易くないとすれば「それは大統領官邸であるけれどナチュラルキラーでない」ということは誤りである fact2: もしあの火災保険料が麗しとすればそれは借地である fact3: このＣメーンフレームクラスは借地である fact4: もし仮にあの火災保険料は借地であるとすれば「「この御伽草子は御めでたくない一方で抱ける」ということは確かだ」ということは成り立たない fact5: 仮に「あの火災保険料は大統領官邸だ一方でナチュラルキラーでない」ということは事実だということはないとすると「それは大統領官邸でない」ということは誤りでない fact6: その学長は麗し fact7: 「何らかのものは慈愛深いということはないなら「睥睨する」ということは事実だ」ということは真実だ fact8: もしもなにがしかのものは尾根上でないとすると大統領官邸だ fact9: もしもあの火災保険料が借地であるししかも抱ければこのＣメーンフレームクラスは尾根上であるということはない fact10: 仮にあの火災保険料はナチュラルキラーだとすれば「この御伽草子は麗ししその上ナチュラルキラーである」ということは嘘である fact11: もしもこのＣメーンフレームクラスが大統領官邸であるならばあの学長はナチュラルキラーだ fact12: 仮に「その学長はナチュラルキラーだ」ということは真実なら「この御伽草子は御めでたくないけれどナチュラルキラーだ」ということは成り立たない fact13: その学長は抱ける fact14: 麗し物は抱ける fact15: もしも「「なにがしかのものは借地でないかあるいは尾根上だということはないか両方である」ということは本当である」ということは間違っていればそれは麗し fact16: あの火災保険料は麗し fact17: 「このＣメーンフレームクラスは尾根上でナチュラルキラーだ」ということは誤っている fact18: あの火災保険料は大統領官邸であるしその上抱ける ; $hypothesis$ = 「もしもあの火災保険料は抱けるなら「この御伽草子は御めでたくないがしかしナチュラルキラーである」ということは偽だ」ということは成り立つということはない ; $proof$ = 
fact2 & fact16 -> int1: 「あの火災保険料は借地である」ということは成り立つ; void -> assump1: 以下のように仮定する。あの火災保険料は抱ける; int1 & assump1 -> int2: あの火災保険料は借地であるしそれは抱ける; int2 & fact9 -> int3: このＣメーンフレームクラスは尾根上でない; fact8 -> int4: 「このＣメーンフレームクラスは尾根上でない」ということは誤っていないなら大統領官邸である; int3 & int4 -> int5: このＣメーンフレームクラスは大統領官邸である; int5 & fact11 -> int6: その学長はナチュラルキラーだ; int6 & fact12 -> int7: 「この御伽草子は御めでたくないがしかしナチュラルキラーである」ということは事実でない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもとある物は書き易くないとすれば「それは大統領官邸であるけれどナチュラルキラーでない」ということは誤りである
事実2: もしあの火災保険料が麗しとすればそれは借地である
事実3: このＣメーンフレームクラスは借地である
事実4: もし仮にあの火災保険料は借地であるとすれば「「この御伽草子は御めでたくない一方で抱ける」ということは確かだ」ということは成り立たない
事実5: 仮に「あの火災保険料は大統領官邸だ一方でナチュラルキラーでない」ということは事実だということはないとすると「それは大統領官邸でない」ということは誤りでない
事実6: その学長は麗し
事実7: 「何らかのものは慈愛深いということはないなら「睥睨する」ということは事実だ」ということは真実だ
事実8: もしもなにがしかのものは尾根上でないとすると大統領官邸だ
事実9: もしもあの火災保険料が借地であるししかも抱ければこのＣメーンフレームクラスは尾根上であるということはない
事実10: 仮にあの火災保険料はナチュラルキラーだとすれば「この御伽草子は麗ししその上ナチュラルキラーである」ということは嘘である
事実11: もしもこのＣメーンフレームクラスが大統領官邸であるならばあの学長はナチュラルキラーだ
事実12: 仮に「その学長はナチュラルキラーだ」ということは真実なら「この御伽草子は御めでたくないけれどナチュラルキラーだ」ということは成り立たない
事実13: その学長は抱ける
事実14: 麗し物は抱ける
事実15: もしも「「なにがしかのものは借地でないかあるいは尾根上だということはないか両方である」ということは本当である」ということは間違っていればそれは麗し
事実16: あの火災保険料は麗し
事実17: 「このＣメーンフレームクラスは尾根上でナチュラルキラーだ」ということは誤っている
事実18: あの火災保険料は大統領官邸であるしその上抱ける

仮説: 「もしもあの火災保険料は抱けるなら「この御伽草子は御めでたくないがしかしナチュラルキラーである」ということは偽だ」ということは成り立つということはない
1. 事実2と事実16から、推論1: "「あの火災保険料は借地である」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あの火災保険料は抱ける
3. 推論1と仮定1から、推論2: "あの火災保険料は借地であるしそれは抱ける"が導かれる
4. 推論2と事実9から、推論3: "このＣメーンフレームクラスは尾根上でない"が導かれる
5. 事実8から、推論4: "「このＣメーンフレームクラスは尾根上でない」ということは誤っていないなら大統領官邸である"が導かれる
6. 推論3と推論4から、推論5: "このＣメーンフレームクラスは大統領官邸である"が導かれる
7. 推論5と事実11から、推論6: "その学長はナチュラルキラーだ"が導かれる
8. 推論6と事実12から、推論7: "「この御伽草子は御めでたくないがしかしナチュラルキラーである」ということは事実でない"が導かれる
9. [仮定1]と推論7から、仮説が否定される

よって、仮説が否定されました。