その二千年版は判別し難い
fact1: もしこの開発期間がハーフタイムであるならその二千年版は判別し難い fact2: 「この百一号線は退陣しないけれどそれはランド川だ」ということは事実と異なる fact3: もしなんらかの物は判別し難いとすると「それは退陣しないけど奏上する」ということは成り立たない fact4: もしもある物はハーフタイムだとすれば「それは退陣するけどランド川でない」ということは間違いである fact5: もし仮に「「あの大乱は主管するがしかし話し易くない」ということは本当だ」ということは事実と異なるとしたらこの開発期間は主管しない fact6: もし仮に何らかのものはハーフタイムであるとしたら「それは退陣しないがしかしランド川だ」ということは成り立たない fact7: その香典帳は奏上する fact8: その原則主義は判別し難い fact9: もしもとある物が主管しないとしたら奏上するしそれにハーフタイムである fact10: なにがしかの物は判別し難いならば「それはランド川でなくてそれに奏上しない」ということは成り立たない fact11: この百一号線は奏上する fact12: 仮にこの百一号線が奏上するとするとハーフタイムである fact13: 仮にあるものはハーフタイムだとしたら「退陣しなくてそれにランド川でない」ということは事実でない fact14: もし何かはハーフタイムであるとすれば「それは奏上しないがしかし退陣する」ということは間違いである fact15: 仮に「「この百一号線が退陣するということはないしその上それはランド川でない」ということは誤りだ」ということは成り立つとするとその二千年版は判別し難くない fact16: この百一号線はハーフタイムならば「退陣するしそれにランド川でない」ということは間違いである fact17: もしあの大乱はペーパーアセスメントであるということはないとすれば「それは主管するが話し易くない」ということは誤りである fact18: もしこの百一号線はハーフタイムなら「それは退陣するということはないがランド川である」ということは成り立たない fact19: 仮に「この開発期間は奏上しないし更にそれはハーフタイムでない」ということは成り立たないならばその二千年版は判別し難い fact20: 「この百一号線は退陣する一方でランド川だということはない」ということは誤っている
fact13 -> int1: もしこの百一号線はハーフタイムであるとすれば「退陣しないしランド川だということはない」ということは成り立たない; fact12 & fact11 -> int2: この百一号線はハーフタイムだ; int1 & int2 -> int3: 「この百一号線は退陣しないしランド川でない」ということは誤りである; int3 & fact15 -> hypothesis;
その二千年版は判別し難い
$facts$ = fact1: もしこの開発期間がハーフタイムであるならその二千年版は判別し難い fact2: 「この百一号線は退陣しないけれどそれはランド川だ」ということは事実と異なる fact3: もしなんらかの物は判別し難いとすると「それは退陣しないけど奏上する」ということは成り立たない fact4: もしもある物はハーフタイムだとすれば「それは退陣するけどランド川でない」ということは間違いである fact5: もし仮に「「あの大乱は主管するがしかし話し易くない」ということは本当だ」ということは事実と異なるとしたらこの開発期間は主管しない fact6: もし仮に何らかのものはハーフタイムであるとしたら「それは退陣しないがしかしランド川だ」ということは成り立たない fact7: その香典帳は奏上する fact8: その原則主義は判別し難い fact9: もしもとある物が主管しないとしたら奏上するしそれにハーフタイムである fact10: なにがしかの物は判別し難いならば「それはランド川でなくてそれに奏上しない」ということは成り立たない fact11: この百一号線は奏上する fact12: 仮にこの百一号線が奏上するとするとハーフタイムである fact13: 仮にあるものはハーフタイムだとしたら「退陣しなくてそれにランド川でない」ということは事実でない fact14: もし何かはハーフタイムであるとすれば「それは奏上しないがしかし退陣する」ということは間違いである fact15: 仮に「「この百一号線が退陣するということはないしその上それはランド川でない」ということは誤りだ」ということは成り立つとするとその二千年版は判別し難くない fact16: この百一号線はハーフタイムならば「退陣するしそれにランド川でない」ということは間違いである fact17: もしあの大乱はペーパーアセスメントであるということはないとすれば「それは主管するが話し易くない」ということは誤りである fact18: もしこの百一号線はハーフタイムなら「それは退陣するということはないがランド川である」ということは成り立たない fact19: 仮に「この開発期間は奏上しないし更にそれはハーフタイムでない」ということは成り立たないならばその二千年版は判別し難い fact20: 「この百一号線は退陣する一方でランド川だということはない」ということは誤っている ; $hypothesis$ = その二千年版は判別し難い ; $proof$ = 
fact13 -> int1: もしこの百一号線はハーフタイムであるとすれば「退陣しないしランド川だということはない」ということは成り立たない; fact12 & fact11 -> int2: この百一号線はハーフタイムだ; int1 & int2 -> int3: 「この百一号線は退陣しないしランド川でない」ということは誤りである; int3 & fact15 -> hypothesis; __DISPROVED__
事実1: もしこの開発期間がハーフタイムであるならその二千年版は判別し難い
事実2: 「この百一号線は退陣しないけれどそれはランド川だ」ということは事実と異なる
事実3: もしなんらかの物は判別し難いとすると「それは退陣しないけど奏上する」ということは成り立たない
事実4: もしもある物はハーフタイムだとすれば「それは退陣するけどランド川でない」ということは間違いである
事実5: もし仮に「「あの大乱は主管するがしかし話し易くない」ということは本当だ」ということは事実と異なるとしたらこの開発期間は主管しない
事実6: もし仮に何らかのものはハーフタイムであるとしたら「それは退陣しないがしかしランド川だ」ということは成り立たない
事実7: その香典帳は奏上する
事実8: その原則主義は判別し難い
事実9: もしもとある物が主管しないとしたら奏上するしそれにハーフタイムである
事実10: なにがしかの物は判別し難いならば「それはランド川でなくてそれに奏上しない」ということは成り立たない
事実11: この百一号線は奏上する
事実12: 仮にこの百一号線が奏上するとするとハーフタイムである
事実13: 仮にあるものはハーフタイムだとしたら「退陣しなくてそれにランド川でない」ということは事実でない
事実14: もし何かはハーフタイムであるとすれば「それは奏上しないがしかし退陣する」ということは間違いである
事実15: 仮に「「この百一号線が退陣するということはないしその上それはランド川でない」ということは誤りだ」ということは成り立つとするとその二千年版は判別し難くない
事実16: この百一号線はハーフタイムならば「退陣するしそれにランド川でない」ということは間違いである
事実17: もしあの大乱はペーパーアセスメントであるということはないとすれば「それは主管するが話し易くない」ということは誤りである
事実18: もしこの百一号線はハーフタイムなら「それは退陣するということはないがランド川である」ということは成り立たない
事実19: 仮に「この開発期間は奏上しないし更にそれはハーフタイムでない」ということは成り立たないならばその二千年版は判別し難い
事実20: 「この百一号線は退陣する一方でランド川だということはない」ということは誤っている

仮説: その二千年版は判別し難い
1. 事実13から、推論1: "もしこの百一号線はハーフタイムであるとすれば「退陣しないしランド川だということはない」ということは成り立たない"が導かれる
2. 事実12と事実11から、推論2: "この百一号線はハーフタイムだ"が導かれる
3. 推論1と推論2から、推論3: "「この百一号線は退陣しないしランド川でない」ということは誤りである"が導かれる
4. 推論3と事実15から、仮説が否定される

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