「そのψＪは売却処理であるがしかし動き易くない」ということは正しい
fact1: もしあの機能低下は二十四万人なら「それは続行出来るがしかし惨たらしくない」ということは成り立たない fact2: もしあの機能低下は聞き続けないとすれば「そのψＪは売却処理であるけれど動き易くない」ということは偽である fact3: もし「とあるものは欧米系企業でないかもしくはそれは聞き続けるということはない」ということは成り立つということはないとしたら二十四万人でない fact4: 仮に「あるものは続行出来る一方で惨たらしいということはない」ということは間違いならば「聞き続けない」ということは成り立つ fact5: もし「あの機能低下は聞き続けない」ということは事実ならば「そのψＪは売却処理で動き易い」ということは成り立たない fact6: 仮に「あるものは売却処理でないが動き易い」ということは誤っているとしたら動き易くない fact7: もし仮にあの機能低下が二十四万人でないとしたらそのψＪが売却処理だけどそれは動き易いということはない fact8: 動き易いということはないものは二十四万人であるしかつ聞き続ける fact9: 仮に「なにがしかの物が内争だけどそれは実行し易くない」ということは事実でないとすれば掛かり過ぎない fact10: もしもなにがしかの物が続行出来るということはないならばそれは聞き続けない fact11: もしもあの機能低下が続行出来るということはないならそれは聞き続けない fact12: 「そのψＪは売却処理で動き易い」ということは事実と異なる fact13: もし仮にあの機能低下は二十四万人でないとすると「そのψＪは惨たらしいがしかし続行出来るということはない」ということは偽だ fact14: そのψＪは惨たらしくない fact15: あの機能低下は二十四万人だ
fact1 & fact15 -> int1: 「あの機能低下は続行出来るがそれは惨たらしくない」ということは成り立たない; fact4 -> int2: 「もしも「あの機能低下は続行出来るけど惨たらしくない」ということは間違いだとすると「あの機能低下は聞き続けない」ということは嘘でない」ということは事実だ; int1 & int2 -> int3: あの機能低下は聞き続けない; int3 & fact2 -> hypothesis;
そのψＪは二十四万人だ
fact17 -> int4: そのψＪは動き易いということはないとすれば「それは二十四万人であるし聞き続ける」ということは真実だ; fact16 -> int5: もしも「そのψＪは売却処理でないけど動き易い」ということは間違っているとすればそれは動き易くない;
$facts$ = fact1: もしあの機能低下は二十四万人なら「それは続行出来るがしかし惨たらしくない」ということは成り立たない fact2: もしあの機能低下は聞き続けないとすれば「そのψＪは売却処理であるけれど動き易くない」ということは偽である fact3: もし「とあるものは欧米系企業でないかもしくはそれは聞き続けるということはない」ということは成り立つということはないとしたら二十四万人でない fact4: 仮に「あるものは続行出来る一方で惨たらしいということはない」ということは間違いならば「聞き続けない」ということは成り立つ fact5: もし「あの機能低下は聞き続けない」ということは事実ならば「そのψＪは売却処理で動き易い」ということは成り立たない fact6: 仮に「あるものは売却処理でないが動き易い」ということは誤っているとしたら動き易くない fact7: もし仮にあの機能低下が二十四万人でないとしたらそのψＪが売却処理だけどそれは動き易いということはない fact8: 動き易いということはないものは二十四万人であるしかつ聞き続ける fact9: 仮に「なにがしかの物が内争だけどそれは実行し易くない」ということは事実でないとすれば掛かり過ぎない fact10: もしもなにがしかの物が続行出来るということはないならばそれは聞き続けない fact11: もしもあの機能低下が続行出来るということはないならそれは聞き続けない fact12: 「そのψＪは売却処理で動き易い」ということは事実と異なる fact13: もし仮にあの機能低下は二十四万人でないとすると「そのψＪは惨たらしいがしかし続行出来るということはない」ということは偽だ fact14: そのψＪは惨たらしくない fact15: あの機能低下は二十四万人だ ; $hypothesis$ = 「そのψＪは売却処理であるがしかし動き易くない」ということは正しい ; $proof$ = 
fact1 & fact15 -> int1: 「あの機能低下は続行出来るがそれは惨たらしくない」ということは成り立たない; fact4 -> int2: 「もしも「あの機能低下は続行出来るけど惨たらしくない」ということは間違いだとすると「あの機能低下は聞き続けない」ということは嘘でない」ということは事実だ; int1 & int2 -> int3: あの機能低下は聞き続けない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: もしあの機能低下は二十四万人なら「それは続行出来るがしかし惨たらしくない」ということは成り立たない
事実2: もしあの機能低下は聞き続けないとすれば「そのψＪは売却処理であるけれど動き易くない」ということは偽である
事実3: もし「とあるものは欧米系企業でないかもしくはそれは聞き続けるということはない」ということは成り立つということはないとしたら二十四万人でない
事実4: 仮に「あるものは続行出来る一方で惨たらしいということはない」ということは間違いならば「聞き続けない」ということは成り立つ
事実5: もし「あの機能低下は聞き続けない」ということは事実ならば「そのψＪは売却処理で動き易い」ということは成り立たない
事実6: 仮に「あるものは売却処理でないが動き易い」ということは誤っているとしたら動き易くない
事実7: もし仮にあの機能低下が二十四万人でないとしたらそのψＪが売却処理だけどそれは動き易いということはない
事実8: 動き易いということはないものは二十四万人であるしかつ聞き続ける
事実9: 仮に「なにがしかの物が内争だけどそれは実行し易くない」ということは事実でないとすれば掛かり過ぎない
事実10: もしもなにがしかの物が続行出来るということはないならばそれは聞き続けない
事実11: もしもあの機能低下が続行出来るということはないならそれは聞き続けない
事実12: 「そのψＪは売却処理で動き易い」ということは事実と異なる
事実13: もし仮にあの機能低下は二十四万人でないとすると「そのψＪは惨たらしいがしかし続行出来るということはない」ということは偽だ
事実14: そのψＪは惨たらしくない
事実15: あの機能低下は二十四万人だ

仮説: 「そのψＪは売却処理であるがしかし動き易くない」ということは正しい
1. 事実1と事実15から、推論1: "「あの機能低下は続行出来るがそれは惨たらしくない」ということは成り立たない"が導かれる
2. 事実4から、推論2: "「もしも「あの機能低下は続行出来るけど惨たらしくない」ということは間違いだとすると「あの機能低下は聞き続けない」ということは嘘でない」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "あの機能低下は聞き続けない"が導かれる
4. 推論3と事実2から、仮説が否定される

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