「あの機序は堆肥化しないかヤングハズバンドでないかもしくはどちらもだ」ということは事実と異なる
fact1: 「その小腹は仕切るし低下する」ということは誤りであるとするとこのＢ‐ウエーブは仕切らない fact2: もし仮になんらかの物はテルプノスロゴスでないとすると「それは泥臭くないししかも忘れっぽくない」ということは間違いだ fact3: もしあの家事審判手続きが二施設であるとしたらあの機序はきな臭い fact4: もしこの初孫が天使らしくないならばそれは所得Ｙでない fact5: なんらかの物は二施設でない一方で甚だし fact6: あの機序は浅ましない fact7: 仮になにがしかのものは天使らしくないなら「それは堆肥化しないかまたはヤングハズバンドでないかあるいはどちらもだ」ということは成り立たない fact8: 「この接着剤中は付け易いかまたはそれはパピーウォーカーであるか両方だ」ということは間違いであるなら「その知識は甚だしない」ということは成り立つ fact9: もしも「「あの機序は堆肥化しないかもしくはヤングハズバンドでないかまたはどちらもである」ということは真実でない」ということは嘘でないならこの初孫はきな臭い fact10: 「「このカットタイプは泥臭くなくてしかも忘れっぽくない」ということは成り立たない」ということは事実だとしたらあの家事審判手続きは二施設である fact11: あの機序が堆肥化しないとすれば甚だししその上きな臭くない fact12: もし仮にこの初孫が所得Ｙでないとするとそれが反比例するしその上甚だしない fact13: その小腹は支配出来るということはない fact14: もし仮にこのＢ‐ウエーブが仕切らないならばこのリクルート活動は品種改良しない fact15: もしもこの初孫が所得Ｙでないしそれが反比例しないとしたらあの機序は所得Ｙである fact16: 「この初孫はきな臭い」ということは成り立てば「天使らしくない」ということは確かである fact17: もしその小腹は支配出来ないとしたら「それは仕切るし低下する」ということは誤りである fact18: 「この接着剤中は付け易いかあるいはパピーウォーカーであるかまたはどちらもである」ということは正しくない fact19: この初孫は甚だし
void -> assump1: 以下のように仮定する。「あの機序は堆肥化しないかあるいはそれはヤングハズバンドでない」ということは成り立たない; fact9 & assump1 -> int1: この初孫はきな臭い; int1 & fact16 -> int2: この初孫は天使らしいということはない; int2 & fact4 -> int3: この初孫は所得Ｙでない; int3 & fact12 -> int4: この初孫は反比例するけど甚だしということはない; int4 -> int5: この初孫は甚だしない; int5 & fact19 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの機序は性分らしいがそれはきな臭くない
$facts$ = fact1: 「その小腹は仕切るし低下する」ということは誤りであるとするとこのＢ‐ウエーブは仕切らない fact2: もし仮になんらかの物はテルプノスロゴスでないとすると「それは泥臭くないししかも忘れっぽくない」ということは間違いだ fact3: もしあの家事審判手続きが二施設であるとしたらあの機序はきな臭い fact4: もしこの初孫が天使らしくないならばそれは所得Ｙでない fact5: なんらかの物は二施設でない一方で甚だし fact6: あの機序は浅ましない fact7: 仮になにがしかのものは天使らしくないなら「それは堆肥化しないかまたはヤングハズバンドでないかあるいはどちらもだ」ということは成り立たない fact8: 「この接着剤中は付け易いかまたはそれはパピーウォーカーであるか両方だ」ということは間違いであるなら「その知識は甚だしない」ということは成り立つ fact9: もしも「「あの機序は堆肥化しないかもしくはヤングハズバンドでないかまたはどちらもである」ということは真実でない」ということは嘘でないならこの初孫はきな臭い fact10: 「「このカットタイプは泥臭くなくてしかも忘れっぽくない」ということは成り立たない」ということは事実だとしたらあの家事審判手続きは二施設である fact11: あの機序が堆肥化しないとすれば甚だししその上きな臭くない fact12: もし仮にこの初孫が所得Ｙでないとするとそれが反比例するしその上甚だしない fact13: その小腹は支配出来るということはない fact14: もし仮にこのＢ‐ウエーブが仕切らないならばこのリクルート活動は品種改良しない fact15: もしもこの初孫が所得Ｙでないしそれが反比例しないとしたらあの機序は所得Ｙである fact16: 「この初孫はきな臭い」ということは成り立てば「天使らしくない」ということは確かである fact17: もしその小腹は支配出来ないとしたら「それは仕切るし低下する」ということは誤りである fact18: 「この接着剤中は付け易いかあるいはパピーウォーカーであるかまたはどちらもである」ということは正しくない fact19: この初孫は甚だし ; $hypothesis$ = 「あの機序は堆肥化しないかヤングハズバンドでないかもしくはどちらもだ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの機序は堆肥化しないかあるいはそれはヤングハズバンドでない」ということは成り立たない; fact9 & assump1 -> int1: この初孫はきな臭い; int1 & fact16 -> int2: この初孫は天使らしいということはない; int2 & fact4 -> int3: この初孫は所得Ｙでない; int3 & fact12 -> int4: この初孫は反比例するけど甚だしということはない; int4 -> int5: この初孫は甚だしない; int5 & fact19 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「その小腹は仕切るし低下する」ということは誤りであるとするとこのＢ‐ウエーブは仕切らない
事実2: もし仮になんらかの物はテルプノスロゴスでないとすると「それは泥臭くないししかも忘れっぽくない」ということは間違いだ
事実3: もしあの家事審判手続きが二施設であるとしたらあの機序はきな臭い
事実4: もしこの初孫が天使らしくないならばそれは所得Ｙでない
事実5: なんらかの物は二施設でない一方で甚だし
事実6: あの機序は浅ましない
事実7: 仮になにがしかのものは天使らしくないなら「それは堆肥化しないかまたはヤングハズバンドでないかあるいはどちらもだ」ということは成り立たない
事実8: 「この接着剤中は付け易いかまたはそれはパピーウォーカーであるか両方だ」ということは間違いであるなら「その知識は甚だしない」ということは成り立つ
事実9: もしも「「あの機序は堆肥化しないかもしくはヤングハズバンドでないかまたはどちらもである」ということは真実でない」ということは嘘でないならこの初孫はきな臭い
事実10: 「「このカットタイプは泥臭くなくてしかも忘れっぽくない」ということは成り立たない」ということは事実だとしたらあの家事審判手続きは二施設である
事実11: あの機序が堆肥化しないとすれば甚だししその上きな臭くない
事実12: もし仮にこの初孫が所得Ｙでないとするとそれが反比例するしその上甚だしない
事実13: その小腹は支配出来るということはない
事実14: もし仮にこのＢ‐ウエーブが仕切らないならばこのリクルート活動は品種改良しない
事実15: もしもこの初孫が所得Ｙでないしそれが反比例しないとしたらあの機序は所得Ｙである
事実16: 「この初孫はきな臭い」ということは成り立てば「天使らしくない」ということは確かである
事実17: もしその小腹は支配出来ないとしたら「それは仕切るし低下する」ということは誤りである
事実18: 「この接着剤中は付け易いかあるいはパピーウォーカーであるかまたはどちらもである」ということは正しくない
事実19: この初孫は甚だし

仮説: 「あの機序は堆肥化しないかヤングハズバンドでないかもしくはどちらもだ」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「あの機序は堆肥化しないかあるいはそれはヤングハズバンドでない」ということは成り立たない
2. 事実9と仮定1から、推論1: "この初孫はきな臭い"が導かれる
3. 推論1と事実16から、推論2: "この初孫は天使らしいということはない"が導かれる
4. 推論2と事実4から、推論3: "この初孫は所得Ｙでない"が導かれる
5. 推論3と事実12から、推論4: "この初孫は反比例するけど甚だしということはない"が導かれる
6. 推論4から、推論5: "この初孫は甚だしない"が導かれる
7. 推論5と事実19から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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