あの区別は吸収され易い
fact1: もしもその橋本氏注が道路網であるかまたはそれが吸収され易いとすればあの先物予約は吸収され易くない fact2: もし仮にあの区別が炙り出すならそれは入れ難いがロック出来ない fact3: このパニエは道路網でない fact4: もし仮に何らかの物がバランス良くないとしたら筆算双六だしかつそれは切り易くない fact5: もし「あのハマムは炙り出す」ということは成り立つとするとあの区別は炙り出す fact6: 「とある物は切り易い」ということは成り立つとしたらそれは吸収され易い fact7: もし「あの先物予約は切り易い」ということは確かだとしたらこのパニエは切り易くなくてまた道路網でない fact8: あのナイトガウンが定量評価でないならばあの入院は発覚するかもしくはそれは断定し難い fact9: もし「「抜き放つしおまけに惨敗する」ということは成り立たない」ものがあればその橋本氏注は筆算双六である fact10: 切り易くない筆算双六は指定地でない fact11: あのナイトガウンは定量評価でない fact12: もしあの先物予約は切り易いということはないとすると「抜き放つしその上惨敗する」ということは誤っている fact13: このパニエが切り易くないしその上道路網だということはないとするとあの区別は吸収され易くない fact14: あのハマムは炙り出す fact15: その橋本氏注が筆算双六だということはないしさらに惨敗しないならこのパニエは切り易くない fact16: もしも「このパニエは資本注入する」ということは偽でないならこの橋本氏注は道路網だ fact17: その橋本氏注は筆算双六でない fact18: 「「道路網でおまけに吸収され易い」ということは確かでない」物はある
void -> assump1: 以下のように仮定する。あの先物予約は切り易くない; fact12 & assump1 -> int1: 「あの先物予約は抜き放つしその上惨敗する」ということは成り立たない; int1 -> int2: 「「抜き放つし更に惨敗する」ということは間違いである」物はある; int2 & fact9 -> int3: あの橋本氏注は筆算双六である; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの先物予約は切り易い; int5 & fact7 -> int6: このパニエは切り易くないし道路網であるということはない; int6 & fact13 -> hypothesis;
あの区別は吸収され易い
fact19 -> int7: あの区別が切り易いならばそれは吸収され易い;
$facts$ = fact1: もしもその橋本氏注が道路網であるかまたはそれが吸収され易いとすればあの先物予約は吸収され易くない fact2: もし仮にあの区別が炙り出すならそれは入れ難いがロック出来ない fact3: このパニエは道路網でない fact4: もし仮に何らかの物がバランス良くないとしたら筆算双六だしかつそれは切り易くない fact5: もし「あのハマムは炙り出す」ということは成り立つとするとあの区別は炙り出す fact6: 「とある物は切り易い」ということは成り立つとしたらそれは吸収され易い fact7: もし「あの先物予約は切り易い」ということは確かだとしたらこのパニエは切り易くなくてまた道路網でない fact8: あのナイトガウンが定量評価でないならばあの入院は発覚するかもしくはそれは断定し難い fact9: もし「「抜き放つしおまけに惨敗する」ということは成り立たない」ものがあればその橋本氏注は筆算双六である fact10: 切り易くない筆算双六は指定地でない fact11: あのナイトガウンは定量評価でない fact12: もしあの先物予約は切り易いということはないとすると「抜き放つしその上惨敗する」ということは誤っている fact13: このパニエが切り易くないしその上道路網だということはないとするとあの区別は吸収され易くない fact14: あのハマムは炙り出す fact15: その橋本氏注が筆算双六だということはないしさらに惨敗しないならこのパニエは切り易くない fact16: もしも「このパニエは資本注入する」ということは偽でないならこの橋本氏注は道路網だ fact17: その橋本氏注は筆算双六でない fact18: 「「道路網でおまけに吸収され易い」ということは確かでない」物はある ; $hypothesis$ = あの区別は吸収され易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの先物予約は切り易くない; fact12 & assump1 -> int1: 「あの先物予約は抜き放つしその上惨敗する」ということは成り立たない; int1 -> int2: 「「抜き放つし更に惨敗する」ということは間違いである」物はある; int2 & fact9 -> int3: あの橋本氏注は筆算双六である; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの先物予約は切り易い; int5 & fact7 -> int6: このパニエは切り易くないし道路網であるということはない; int6 & fact13 -> hypothesis; __DISPROVED__
事実1: もしもその橋本氏注が道路網であるかまたはそれが吸収され易いとすればあの先物予約は吸収され易くない
事実2: もし仮にあの区別が炙り出すならそれは入れ難いがロック出来ない
事実3: このパニエは道路網でない
事実4: もし仮に何らかの物がバランス良くないとしたら筆算双六だしかつそれは切り易くない
事実5: もし「あのハマムは炙り出す」ということは成り立つとするとあの区別は炙り出す
事実6: 「とある物は切り易い」ということは成り立つとしたらそれは吸収され易い
事実7: もし「あの先物予約は切り易い」ということは確かだとしたらこのパニエは切り易くなくてまた道路網でない
事実8: あのナイトガウンが定量評価でないならばあの入院は発覚するかもしくはそれは断定し難い
事実9: もし「「抜き放つしおまけに惨敗する」ということは成り立たない」ものがあればその橋本氏注は筆算双六である
事実10: 切り易くない筆算双六は指定地でない
事実11: あのナイトガウンは定量評価でない
事実12: もしあの先物予約は切り易いということはないとすると「抜き放つしその上惨敗する」ということは誤っている
事実13: このパニエが切り易くないしその上道路網だということはないとするとあの区別は吸収され易くない
事実14: あのハマムは炙り出す
事実15: その橋本氏注が筆算双六だということはないしさらに惨敗しないならこのパニエは切り易くない
事実16: もしも「このパニエは資本注入する」ということは偽でないならこの橋本氏注は道路網だ
事実17: その橋本氏注は筆算双六でない
事実18: 「「道路網でおまけに吸収され易い」ということは確かでない」物はある

仮説: あの区別は吸収され易い
1. 仮定1: 以下のように仮定する。あの先物予約は切り易くない
2. 事実12と仮定1から、推論1: "「あの先物予約は抜き放つしその上惨敗する」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「抜き放つし更に惨敗する」ということは間違いである」物はある"が導かれる
4. 推論2と事実9から、推論3: "あの橋本氏注は筆算双六である"が導かれる
5. 推論3と事実17から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの先物予約は切り易い"が導かれる
7. 推論5と事実7から、推論6: "このパニエは切り易くないし道路網であるということはない"が導かれる
8. 推論6と事実13から、仮説が否定される

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