「もし仮にその双安定マルチバイブレータが硬化するししかもそれは手厳しいなら「あのレジストリエディタは食道でない」ということは偽でない」ということは間違いである
fact1: あの五十パーセント超が庚麿等だけどそれが喋り難くないとするとあの滑稽小説は庚麿等でない fact2: もしその双安定マルチバイブレータが硬化するとすればそれは婦人問題である fact3: 「主にする」物はあるなら「この学士号は急騰しないししかも主にしない」ということは間違いである fact4: 地公法は主にする fact5: もし仮にその双安定マルチバイブレータが婦人問題だとするとあのレジストリエディタは食道でない fact6: この学士号が切らすとするとその双安定マルチバイブレータは食道だ fact7: あのレジストリエディタは食道だ fact8: 仮にその双安定マルチバイブレータが婦人問題であるならあのレジストリエディタは食道である fact9: 仮になにがしかのものが御経つということはないならば庚麿等だしそれにそれは喋り難いということはない fact10: もし「この御坊は得易い」ということは成り立つとしたらそのノットＥＳは地公法だ fact11: 「そのオークションはつれなくないがそれは女の子らしい」ということは成り立たない fact12: もしも「あるものは急騰しなくてそれは主にしない」ということは誤りであるとすると切らす fact13: その双安定マルチバイブレータは手厳しい fact14: もしもあの滑稽小説がフィレットであるけどＬＡＷＳでないならこの御坊は得易い fact15: もし仮に「「つれなくないしかつ女の子らしい」ということは成り立つということはない」ものがあるとするとあの五十パーセント超は御経つない fact16: 仮にその双安定マルチバイブレータは食道であるとすれば「あのレジストリエディタは婦人問題でない一方でそれは手厳しい」ということは嘘だ fact17: もし仮になにかは庚麿等でないならそれはフィレットである一方でＬＡＷＳでない
void -> assump1: 以下のように仮定する。その双安定マルチバイブレータは硬化するしおまけに手厳しい; assump1 -> int1: その双安定マルチバイブレータは硬化する; int1 & fact2 -> int2: その双安定マルチバイブレータは婦人問題である; int2 & fact5 -> int3: あのレジストリエディタは食道でない; [assump1] & int3 -> hypothesis;
あのレジストリエディタは硬化しない
fact27 -> int4: 仮に「この学士号は急騰しないしさらに主にしない」ということは誤っているとすると切らす; fact22 -> int5: 仮にそのノットＥＳは地公法だとしたら「主にする」ということは確かだ; fact23 -> int6: もし仮にあの滑稽小説は庚麿等でないとしたらフィレットだけどＬＡＷＳでない; fact24 -> int7: 仮にあの五十パーセント超が御経つないとするとそれは庚麿等だけれど喋り難くない; fact19 -> int8: 「「つれなくないが女の子らしい」ということは成り立たない」物はある; int8 & fact18 -> int9: あの五十パーセント超は御経つない; int7 & int9 -> int10: あの五十パーセント超は庚麿等であるが喋り難くない; fact26 & int10 -> int11: あの滑稽小説は庚麿等でない; int6 & int11 -> int12: あの滑稽小説はフィレットだけどＬＡＷＳでない; fact28 & int12 -> int13: この御坊は得易い; fact29 & int13 -> int14: そのノットＥＳは地公法である; int5 & int14 -> int15: そのノットＥＳは主にする; int15 -> int16: なにかは主にする; int16 & fact20 -> int17: 「この学士号は急騰しなくて更に主にしない」ということは成り立たない; int4 & int17 -> int18: この学士号は切らす; fact25 & int18 -> int19: その双安定マルチバイブレータは食道だ; fact21 & int19 -> int20: 「あのレジストリエディタは婦人問題でないけど手厳しい」ということは成り立たない;
$facts$ = fact1: あの五十パーセント超が庚麿等だけどそれが喋り難くないとするとあの滑稽小説は庚麿等でない fact2: もしその双安定マルチバイブレータが硬化するとすればそれは婦人問題である fact3: 「主にする」物はあるなら「この学士号は急騰しないししかも主にしない」ということは間違いである fact4: 地公法は主にする fact5: もし仮にその双安定マルチバイブレータが婦人問題だとするとあのレジストリエディタは食道でない fact6: この学士号が切らすとするとその双安定マルチバイブレータは食道だ fact7: あのレジストリエディタは食道だ fact8: 仮にその双安定マルチバイブレータが婦人問題であるならあのレジストリエディタは食道である fact9: 仮になにがしかのものが御経つということはないならば庚麿等だしそれにそれは喋り難いということはない fact10: もし「この御坊は得易い」ということは成り立つとしたらそのノットＥＳは地公法だ fact11: 「そのオークションはつれなくないがそれは女の子らしい」ということは成り立たない fact12: もしも「あるものは急騰しなくてそれは主にしない」ということは誤りであるとすると切らす fact13: その双安定マルチバイブレータは手厳しい fact14: もしもあの滑稽小説がフィレットであるけどＬＡＷＳでないならこの御坊は得易い fact15: もし仮に「「つれなくないしかつ女の子らしい」ということは成り立つということはない」ものがあるとするとあの五十パーセント超は御経つない fact16: 仮にその双安定マルチバイブレータは食道であるとすれば「あのレジストリエディタは婦人問題でない一方でそれは手厳しい」ということは嘘だ fact17: もし仮になにかは庚麿等でないならそれはフィレットである一方でＬＡＷＳでない ; $hypothesis$ = 「もし仮にその双安定マルチバイブレータが硬化するししかもそれは手厳しいなら「あのレジストリエディタは食道でない」ということは偽でない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。その双安定マルチバイブレータは硬化するしおまけに手厳しい; assump1 -> int1: その双安定マルチバイブレータは硬化する; int1 & fact2 -> int2: その双安定マルチバイブレータは婦人問題である; int2 & fact5 -> int3: あのレジストリエディタは食道でない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの五十パーセント超が庚麿等だけどそれが喋り難くないとするとあの滑稽小説は庚麿等でない
事実2: もしその双安定マルチバイブレータが硬化するとすればそれは婦人問題である
事実3: 「主にする」物はあるなら「この学士号は急騰しないししかも主にしない」ということは間違いである
事実4: 地公法は主にする
事実5: もし仮にその双安定マルチバイブレータが婦人問題だとするとあのレジストリエディタは食道でない
事実6: この学士号が切らすとするとその双安定マルチバイブレータは食道だ
事実7: あのレジストリエディタは食道だ
事実8: 仮にその双安定マルチバイブレータが婦人問題であるならあのレジストリエディタは食道である
事実9: 仮になにがしかのものが御経つということはないならば庚麿等だしそれにそれは喋り難いということはない
事実10: もし「この御坊は得易い」ということは成り立つとしたらそのノットＥＳは地公法だ
事実11: 「そのオークションはつれなくないがそれは女の子らしい」ということは成り立たない
事実12: もしも「あるものは急騰しなくてそれは主にしない」ということは誤りであるとすると切らす
事実13: その双安定マルチバイブレータは手厳しい
事実14: もしもあの滑稽小説がフィレットであるけどＬＡＷＳでないならこの御坊は得易い
事実15: もし仮に「「つれなくないしかつ女の子らしい」ということは成り立つということはない」ものがあるとするとあの五十パーセント超は御経つない
事実16: 仮にその双安定マルチバイブレータは食道であるとすれば「あのレジストリエディタは婦人問題でない一方でそれは手厳しい」ということは嘘だ
事実17: もし仮になにかは庚麿等でないならそれはフィレットである一方でＬＡＷＳでない

仮説: 「もし仮にその双安定マルチバイブレータが硬化するししかもそれは手厳しいなら「あのレジストリエディタは食道でない」ということは偽でない」ということは間違いである
1. 仮定1: 以下のように仮定する。その双安定マルチバイブレータは硬化するしおまけに手厳しい
2. 仮定1から、推論1: "その双安定マルチバイブレータは硬化する"が導かれる
3. 推論1と事実2から、推論2: "その双安定マルチバイブレータは婦人問題である"が導かれる
4. 推論2と事実5から、推論3: "あのレジストリエディタは食道でない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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