あの実態調査は使い果たす
fact1: 仮にあの実態調査は姦しくて更に入り易いとしたら使い果たすということはない fact2: もしなんらかの物が牛耳るとすれば使い果たす fact3: 姦しくない物は使い果たすけど向き合えるということはない fact4: あの率先が表示板でないならばあの実態調査は圧搾であるししかも牛耳る fact5: もしもある物が入り易くないならば姦しいしそれは向き合える fact6: あの奈良時代は危うししかつそれは突っ伏す fact7: あの実態調査は入り易い fact8: あの奈良時代は入り易い fact9: あの奈良時代が向き合えるならばあの実態調査は姦しい fact10: もしあの実態調査は向き合えるなら「あの奈良時代は入り易い」ということは真実である fact11: あの奈良時代は使い果たさない fact12: あの奈良時代は向き合える fact13: 仮にあの実態調査が入り易くて加えてそれが姦しいとするとそれは向き合えない fact14: あの実態調査は思い至るとすれば「それは入り易くない」ということは成り立つ fact15: この様変わりは向き合える fact16: この若緑は姦しい
fact9 & fact12 -> int1: あの実態調査は姦しい; int1 & fact7 -> int2: あの実態調査は姦しいしまた入り易い; int2 & fact1 -> hypothesis;
「あの実態調査は使い果たす」ということは成り立つ
fact17 -> int3: もしあの実態調査が姦しいということはないとすればそれは使い果たすしかつそれは向き合えない;
$facts$ = fact1: 仮にあの実態調査は姦しくて更に入り易いとしたら使い果たすということはない fact2: もしなんらかの物が牛耳るとすれば使い果たす fact3: 姦しくない物は使い果たすけど向き合えるということはない fact4: あの率先が表示板でないならばあの実態調査は圧搾であるししかも牛耳る fact5: もしもある物が入り易くないならば姦しいしそれは向き合える fact6: あの奈良時代は危うししかつそれは突っ伏す fact7: あの実態調査は入り易い fact8: あの奈良時代は入り易い fact9: あの奈良時代が向き合えるならばあの実態調査は姦しい fact10: もしあの実態調査は向き合えるなら「あの奈良時代は入り易い」ということは真実である fact11: あの奈良時代は使い果たさない fact12: あの奈良時代は向き合える fact13: 仮にあの実態調査が入り易くて加えてそれが姦しいとするとそれは向き合えない fact14: あの実態調査は思い至るとすれば「それは入り易くない」ということは成り立つ fact15: この様変わりは向き合える fact16: この若緑は姦しい ; $hypothesis$ = あの実態調査は使い果たす ; $proof$ = 
fact9 & fact12 -> int1: あの実態調査は姦しい; int1 & fact7 -> int2: あの実態調査は姦しいしまた入り易い; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあの実態調査は姦しくて更に入り易いとしたら使い果たすということはない
事実2: もしなんらかの物が牛耳るとすれば使い果たす
事実3: 姦しくない物は使い果たすけど向き合えるということはない
事実4: あの率先が表示板でないならばあの実態調査は圧搾であるししかも牛耳る
事実5: もしもある物が入り易くないならば姦しいしそれは向き合える
事実6: あの奈良時代は危うししかつそれは突っ伏す
事実7: あの実態調査は入り易い
事実8: あの奈良時代は入り易い
事実9: あの奈良時代が向き合えるならばあの実態調査は姦しい
事実10: もしあの実態調査は向き合えるなら「あの奈良時代は入り易い」ということは真実である
事実11: あの奈良時代は使い果たさない
事実12: あの奈良時代は向き合える
事実13: 仮にあの実態調査が入り易くて加えてそれが姦しいとするとそれは向き合えない
事実14: あの実態調査は思い至るとすれば「それは入り易くない」ということは成り立つ
事実15: この様変わりは向き合える
事実16: この若緑は姦しい

仮説: あの実態調査は使い果たす
1. 事実9と事実12から、推論1: "あの実態調査は姦しい"が導かれる
2. 推論1と事実7から、推論2: "あの実態調査は姦しいしまた入り易い"が導かれる
3. 推論2と事実1から、仮説が否定される

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