「あの資源委員会は木型であるけれどそれは紛争解決手段でない」ということは間違いである
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: その船尾甲板は広げない
void -> assump1: 以下のように仮定する。「この型変換はどす黒くない」ということは真実である; fact3 & assump1 -> int1: このＤＳＡは押し付けがましい; fact19 -> int2: このＤＳＡは押し付けがましいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この型変換はどす黒い; int4 & fact18 -> int5: 「あの資源委員会は木型である」ということは真実だ; fact20 & fact11 -> int6: 「「あの資源委員会は腐り易くて紛争解決手段である」ということは間違いである」ということは事実だ; int6 & fact21 -> int7: あの資源委員会は紛争解決手段だということはない; int5 & int7 -> hypothesis;
この利益計画は紛争解決手段でない
fact28 -> int8: もしこの型変換が押し付けがましくらないとするとどす黒いがしかし紛争解決手段でない; fact35 -> int9: あの資源委員会は落ち易いとすると「腐り易くないし京都らしい」ということは成り立つということはない; fact33 -> int10: もし仮にあの深追いは想定だとすると「それは落ち易い」ということは誤りでない; fact36 -> int11: もし仮にあの深追いが安堵出来るとするとそれは想定である; fact31 & fact29 -> int12: その船尾甲板は運悪いけれどそれは暴対でない; fact32 & int12 -> int13: このキール運河は安堵出来る; fact34 & int13 -> int14: あの深追いは安堵出来る; int11 & int14 -> int15: あの深追いは想定である; int10 & int15 -> int16: あの深追いは落ち易い; fact26 & int16 -> int17: 「あの資源委員会は落ち易い」ということは事実だ; int9 & int17 -> int18: 「あの資源委員会は腐り易くないがしかし京都らしい」ということは成り立たない; fact27 & int18 -> int19: このＤＳＡは木型である; fact37 & int19 -> int20: この型変換は木型でない; int20 -> int21: この型変換は荷作りしないかそれは木型でないか両方である;
$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: その船尾甲板は広げない ; $hypothesis$ = 「あの資源委員会は木型であるけれどそれは紛争解決手段でない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「この型変換はどす黒くない」ということは真実である; fact3 & assump1 -> int1: このＤＳＡは押し付けがましい; fact19 -> int2: このＤＳＡは押し付けがましいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この型変換はどす黒い; int4 & fact18 -> int5: 「あの資源委員会は木型である」ということは真実だ; fact20 & fact11 -> int6: 「「あの資源委員会は腐り易くて紛争解決手段である」ということは間違いである」ということは事実だ; int6 & fact21 -> int7: あの資源委員会は紛争解決手段だということはない; int5 & int7 -> 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: その船尾甲板は広げない

仮説: 「あの資源委員会は木型であるけれどそれは紛争解決手段でない」ということは間違いである
1. 仮定1: 以下のように仮定する。「この型変換はどす黒くない」ということは真実である
2. 事実3と仮定1から、推論1: "このＤＳＡは押し付けがましい"が導かれる
3. 事実19から、推論2: "このＤＳＡは押し付けがましいということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この型変換はどす黒い"が導かれる
6. 推論4と事実18から、推論5: "「あの資源委員会は木型である」ということは真実だ"が導かれる
7. 事実20と事実11から、推論6: "「「あの資源委員会は腐り易くて紛争解決手段である」ということは間違いである」ということは事実だ"が導かれる
8. 推論6と事実21から、推論7: "あの資源委員会は紛争解決手段だということはない"が導かれる
9. 推論5と推論7から、仮説が否定される

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