「なんらかのものはあざとい」ということは間違いである
fact1: もし仮に「何らかのものは吊り易い」ということは成り立てば解消する fact2: この東京都在住は解消する fact3: 「この一般廃棄物処理計画は実務家であるけどそれは吊り易くない」ということは間違っているとしたらあざとい fact4: もしその散乱が解消するとするとこの一般廃棄物処理計画は赤黒い fact5: もし仮にとある物は十隊であるとしたらそれはあざとい fact6: 赤黒いものは十隊である fact7: もし仮に「「とあるものは区別し易いがしかし共催するということはない」ということは本当である」ということは偽だとすると「吊り易い」ということは本当だ fact8: もし仮に「この東京都在住は実務家でない」ということは成り立てば「その散乱は区別し易いけど共催しない」ということは成り立つということはない fact9: この東京都在住は実務家だということはない fact10: もし「この東京都在住は実務家でない」ということは真実だとしたら「その散乱は区別し易くて共催する」ということは成り立たない fact11: 軽ーいものは公演する
fact8 & fact9 -> int1: 「その散乱は区別し易いけど共催するということはない」ということは間違いである; fact7 -> int2: もし仮に「「その散乱は区別し易い一方で共催しない」ということは誤りだ」ということは事実と異なるということはないとしたら吊り易い; int1 & int2 -> int3: 「その散乱は吊り易い」ということは成り立つ; fact1 -> int4: その散乱が吊り易いとしたら解消する; int3 & int4 -> int5: その散乱は解消する; int5 & fact4 -> int6: この一般廃棄物処理計画は赤黒い; fact6 -> int7: もしもこの一般廃棄物処理計画が赤黒いならばそれは十隊だ; int6 & int7 -> int8: この一般廃棄物処理計画は十隊だ; fact5 -> int9: もしこの一般廃棄物処理計画は十隊であるならばあざとい; int8 & int9 -> int10: この一般廃棄物処理計画はあざとい; int10 -> hypothesis;
この東京都在住が軽ーいとするとそれは公演する
fact12 -> hypothesis;
$facts$ = fact1: もし仮に「何らかのものは吊り易い」ということは成り立てば解消する fact2: この東京都在住は解消する fact3: 「この一般廃棄物処理計画は実務家であるけどそれは吊り易くない」ということは間違っているとしたらあざとい fact4: もしその散乱が解消するとするとこの一般廃棄物処理計画は赤黒い fact5: もし仮にとある物は十隊であるとしたらそれはあざとい fact6: 赤黒いものは十隊である fact7: もし仮に「「とあるものは区別し易いがしかし共催するということはない」ということは本当である」ということは偽だとすると「吊り易い」ということは本当だ fact8: もし仮に「この東京都在住は実務家でない」ということは成り立てば「その散乱は区別し易いけど共催しない」ということは成り立つということはない fact9: この東京都在住は実務家だということはない fact10: もし「この東京都在住は実務家でない」ということは真実だとしたら「その散乱は区別し易くて共催する」ということは成り立たない fact11: 軽ーいものは公演する ; $hypothesis$ = 「なんらかのものはあざとい」ということは間違いである ; $proof$ = 
fact8 & fact9 -> int1: 「その散乱は区別し易いけど共催するということはない」ということは間違いである; fact7 -> int2: もし仮に「「その散乱は区別し易い一方で共催しない」ということは誤りだ」ということは事実と異なるということはないとしたら吊り易い; int1 & int2 -> int3: 「その散乱は吊り易い」ということは成り立つ; fact1 -> int4: その散乱が吊り易いとしたら解消する; int3 & int4 -> int5: その散乱は解消する; int5 & fact4 -> int6: この一般廃棄物処理計画は赤黒い; fact6 -> int7: もしもこの一般廃棄物処理計画が赤黒いならばそれは十隊だ; int6 & int7 -> int8: この一般廃棄物処理計画は十隊だ; fact5 -> int9: もしこの一般廃棄物処理計画は十隊であるならばあざとい; int8 & int9 -> int10: この一般廃棄物処理計画はあざとい; int10 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかのものは吊り易い」ということは成り立てば解消する
事実2: この東京都在住は解消する
事実3: 「この一般廃棄物処理計画は実務家であるけどそれは吊り易くない」ということは間違っているとしたらあざとい
事実4: もしその散乱が解消するとするとこの一般廃棄物処理計画は赤黒い
事実5: もし仮にとある物は十隊であるとしたらそれはあざとい
事実6: 赤黒いものは十隊である
事実7: もし仮に「「とあるものは区別し易いがしかし共催するということはない」ということは本当である」ということは偽だとすると「吊り易い」ということは本当だ
事実8: もし仮に「この東京都在住は実務家でない」ということは成り立てば「その散乱は区別し易いけど共催しない」ということは成り立つということはない
事実9: この東京都在住は実務家だということはない
事実10: もし「この東京都在住は実務家でない」ということは真実だとしたら「その散乱は区別し易くて共催する」ということは成り立たない
事実11: 軽ーいものは公演する

仮説: 「なんらかのものはあざとい」ということは間違いである
1. 事実8と事実9から、推論1: "「その散乱は区別し易いけど共催するということはない」ということは間違いである"が導かれる
2. 事実7から、推論2: "もし仮に「「その散乱は区別し易い一方で共催しない」ということは誤りだ」ということは事実と異なるということはないとしたら吊り易い"が導かれる
3. 推論1と推論2から、推論3: "「その散乱は吊り易い」ということは成り立つ"が導かれる
4. 事実1から、推論4: "その散乱が吊り易いとしたら解消する"が導かれる
5. 推論3と推論4から、推論5: "その散乱は解消する"が導かれる
6. 推論5と事実4から、推論6: "この一般廃棄物処理計画は赤黒い"が導かれる
7. 事実6から、推論7: "もしもこの一般廃棄物処理計画が赤黒いならばそれは十隊だ"が導かれる
8. 推論6と推論7から、推論8: "この一般廃棄物処理計画は十隊だ"が導かれる
9. 事実5から、推論9: "もしこの一般廃棄物処理計画は十隊であるならばあざとい"が導かれる
10. 推論8と推論9から、推論10: "この一般廃棄物処理計画はあざとい"が導かれる
11. 推論10から、仮説が否定される

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