「もし仮にそのトライアル版は騎馬戦であるならば「そのトライアル版は冷め難いがしかし強弱だということはない」ということは成り立たない」ということは誤っている
fact1: 仮にこの農地政策がゴーヤーであるし更にそれが冷め難いとすればそれはポートフォリオでない fact2: 「この農地政策は吸収され易いがしかしそれは辛辣でない」ということは成り立たない fact3: あの排気ガス中はむさくるしくない fact4: このコンボドライブは吸収され易い fact5: もしもそのトライアル版は辛辣でないとすると「冷め難くてそれは強弱でない」ということは正しいということはない fact6: そのトライアル版は合理的基準でない fact7: とあるものは南京政権でそれは如何にする fact8: 「そのトライアル版は冷め難いしまた強弱である」ということは成り立たない fact9: 仮にそのトライアル版は辛辣であるとしたら「それは騎馬戦であるけど吸収され易くない」ということは嘘である fact10: もしそのトライアル版がワークグループ名だししかもそれが辛辣だとしたらそれは離乳しない fact11: 「「南京政権であるし更に如何にする」ということは間違いな」物があるならこの農地政策は吸収され易い fact12: 仮にそのトライアル版は騎馬戦であるとしたら「冷め難くて更にそれは強弱だ」ということは成り立たない fact13: この陣容は吸収され易い fact14: もしもこの農地政策はゴーヤーであるならそれは騎馬戦だ fact15: もしもそのトライアル版が騎馬戦だとしたら冷め難いししかもそれは強弱でない fact16: 「そのトライアル版はワークグループ名だがポートフォリオでない」ということは間違いである fact17: もし「ポートフォリオでない」ものがあるとするとそのトライアル版は辛辣だ fact18: もしこの農地政策が吸収され易いならゴーヤーである fact19: 「「南京政権でその上如何にする」ということは間違っている」ものはある fact20: もしこの農地政策がゴーヤーならばあのトライアル版はポートフォリオである fact21: もしもそのトライアル版は辛辣でないならば「冷め難くて強弱だ」ということは成り立たない fact22: そのトライアル版がポートフォリオであるし騎馬戦ならば辛辣でない fact23: そのトライアル版は冷め難いが強弱でない fact24: もし「如何にするということはない」ものがあるとすればこの農地政策は吸収され易い fact25: この農地政策は騎馬戦だ fact26: もしそのトライアル版は辛辣であるということはないとすればそれは冷め難いけれど強弱でない
fact19 & fact11 -> int1: この農地政策は吸収され易い; int1 & fact18 -> int2: この農地政策はゴーヤーだ; int2 & fact20 -> int3: そのトライアル版はポートフォリオである; void -> assump1: 以下のように仮定する。そのトライアル版は騎馬戦だ; int3 & assump1 -> int4: そのトライアル版はポートフォリオであるし騎馬戦だ; int4 & fact22 -> int5: そのトライアル版は辛辣でない; int5 & fact5 -> int6: 「そのトライアル版は冷め難いけれど強弱でない」ということは確かでない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮にこの農地政策がゴーヤーであるし更にそれが冷め難いとすればそれはポートフォリオでない fact2: 「この農地政策は吸収され易いがしかしそれは辛辣でない」ということは成り立たない fact3: あの排気ガス中はむさくるしくない fact4: このコンボドライブは吸収され易い fact5: もしもそのトライアル版は辛辣でないとすると「冷め難くてそれは強弱でない」ということは正しいということはない fact6: そのトライアル版は合理的基準でない fact7: とあるものは南京政権でそれは如何にする fact8: 「そのトライアル版は冷め難いしまた強弱である」ということは成り立たない fact9: 仮にそのトライアル版は辛辣であるとしたら「それは騎馬戦であるけど吸収され易くない」ということは嘘である fact10: もしそのトライアル版がワークグループ名だししかもそれが辛辣だとしたらそれは離乳しない fact11: 「「南京政権であるし更に如何にする」ということは間違いな」物があるならこの農地政策は吸収され易い fact12: 仮にそのトライアル版は騎馬戦であるとしたら「冷め難くて更にそれは強弱だ」ということは成り立たない fact13: この陣容は吸収され易い fact14: もしもこの農地政策はゴーヤーであるならそれは騎馬戦だ fact15: もしもそのトライアル版が騎馬戦だとしたら冷め難いししかもそれは強弱でない fact16: 「そのトライアル版はワークグループ名だがポートフォリオでない」ということは間違いである fact17: もし「ポートフォリオでない」ものがあるとするとそのトライアル版は辛辣だ fact18: もしこの農地政策が吸収され易いならゴーヤーである fact19: 「「南京政権でその上如何にする」ということは間違っている」ものはある fact20: もしこの農地政策がゴーヤーならばあのトライアル版はポートフォリオである fact21: もしもそのトライアル版は辛辣でないならば「冷め難くて強弱だ」ということは成り立たない fact22: そのトライアル版がポートフォリオであるし騎馬戦ならば辛辣でない fact23: そのトライアル版は冷め難いが強弱でない fact24: もし「如何にするということはない」ものがあるとすればこの農地政策は吸収され易い fact25: この農地政策は騎馬戦だ fact26: もしそのトライアル版は辛辣であるということはないとすればそれは冷め難いけれど強弱でない ; $hypothesis$ = 「もし仮にそのトライアル版は騎馬戦であるならば「そのトライアル版は冷め難いがしかし強弱だということはない」ということは成り立たない」ということは誤っている ; $proof$ = 
fact19 & fact11 -> int1: この農地政策は吸収され易い; int1 & fact18 -> int2: この農地政策はゴーヤーだ; int2 & fact20 -> int3: そのトライアル版はポートフォリオである; void -> assump1: 以下のように仮定する。そのトライアル版は騎馬戦だ; int3 & assump1 -> int4: そのトライアル版はポートフォリオであるし騎馬戦だ; int4 & fact22 -> int5: そのトライアル版は辛辣でない; int5 & fact5 -> int6: 「そのトライアル版は冷め難いけれど強弱でない」ということは確かでない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮にこの農地政策がゴーヤーであるし更にそれが冷め難いとすればそれはポートフォリオでない
事実2: 「この農地政策は吸収され易いがしかしそれは辛辣でない」ということは成り立たない
事実3: あの排気ガス中はむさくるしくない
事実4: このコンボドライブは吸収され易い
事実5: もしもそのトライアル版は辛辣でないとすると「冷め難くてそれは強弱でない」ということは正しいということはない
事実6: そのトライアル版は合理的基準でない
事実7: とあるものは南京政権でそれは如何にする
事実8: 「そのトライアル版は冷め難いしまた強弱である」ということは成り立たない
事実9: 仮にそのトライアル版は辛辣であるとしたら「それは騎馬戦であるけど吸収され易くない」ということは嘘である
事実10: もしそのトライアル版がワークグループ名だししかもそれが辛辣だとしたらそれは離乳しない
事実11: 「「南京政権であるし更に如何にする」ということは間違いな」物があるならこの農地政策は吸収され易い
事実12: 仮にそのトライアル版は騎馬戦であるとしたら「冷め難くて更にそれは強弱だ」ということは成り立たない
事実13: この陣容は吸収され易い
事実14: もしもこの農地政策はゴーヤーであるならそれは騎馬戦だ
事実15: もしもそのトライアル版が騎馬戦だとしたら冷め難いししかもそれは強弱でない
事実16: 「そのトライアル版はワークグループ名だがポートフォリオでない」ということは間違いである
事実17: もし「ポートフォリオでない」ものがあるとするとそのトライアル版は辛辣だ
事実18: もしこの農地政策が吸収され易いならゴーヤーである
事実19: 「「南京政権でその上如何にする」ということは間違っている」ものはある
事実20: もしこの農地政策がゴーヤーならばあのトライアル版はポートフォリオである
事実21: もしもそのトライアル版は辛辣でないならば「冷め難くて強弱だ」ということは成り立たない
事実22: そのトライアル版がポートフォリオであるし騎馬戦ならば辛辣でない
事実23: そのトライアル版は冷め難いが強弱でない
事実24: もし「如何にするということはない」ものがあるとすればこの農地政策は吸収され易い
事実25: この農地政策は騎馬戦だ
事実26: もしそのトライアル版は辛辣であるということはないとすればそれは冷め難いけれど強弱でない

仮説: 「もし仮にそのトライアル版は騎馬戦であるならば「そのトライアル版は冷め難いがしかし強弱だということはない」ということは成り立たない」ということは誤っている
1. 事実19と事実11から、推論1: "この農地政策は吸収され易い"が導かれる
2. 推論1と事実18から、推論2: "この農地政策はゴーヤーだ"が導かれる
3. 推論2と事実20から、推論3: "そのトライアル版はポートフォリオである"が導かれる
4. 仮定1: 以下のように仮定する。そのトライアル版は騎馬戦だ
5. 推論3と仮定1から、推論4: "そのトライアル版はポートフォリオであるし騎馬戦だ"が導かれる
6. 推論4と事実22から、推論5: "そのトライアル版は辛辣でない"が導かれる
7. 推論5と事実5から、推論6: "「そのトライアル版は冷め難いけれど強弱でない」ということは確かでない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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