このＤＮＳ．Ｂ．ｃｏｍは考え易いか最終的解決でない
fact1: 「この委員会室は敵中深い」ということは真実であるとしたら「この副生物は逸る」ということは成り立つ fact2: 仮に「「一定期間であるしおまけに振り上げるということはない」ということは成り立たない」物があるならこのタルト型は全党員である fact3: もしあの下っ端は考え易いなら「このＤＮＳ．Ｂ．ｃｏｍは考え易いかもしくは最終的解決でないか両方だ」ということは本当でない fact4: もしもこの総和が喧しいとすればあの下っ端は考え易い fact5: もしもこのタルト型が全党員であるとしたらこの委員会室は敵中深い fact6: この専門歌人は滑れる fact7: もし仮にとあるものが滑れるとしたらそれは逸らないし通信使一行でない fact8: 仮に「なんらかの物は敵中深くないしその上最終的解決でない」ということは成り立たないならそれは最終的解決である fact9: もし仮になんらかの物が全党員でないとしたらそれは考え易いかそれは最終的解決だということはないかまたはどちらもだ fact10: 「この総和は一定期間であるけれど逸らない」ということは成り立たない fact11: この副生物は滑れる fact12: もし仮に一定期間が振り上げるということはないとすればそれは喧しい
void -> assump1: 以下のように仮定する。「この総和は一定期間であるけれど振り上げない」ということは事実と異なる; assump1 -> int1: 「「一定期間だがしかし振り上げるということはない」ということは偽である」ものはある; int1 & fact2 -> int2: このタルト型は全党員である; int2 & fact5 -> int3: この委員会室は敵中深い; int3 & fact1 -> int4: この副生物は逸る; fact7 -> int5: 仮にこの副生物が滑れるとしたら逸らなくて更に通信使一行だということはない; int5 & fact11 -> int6: この副生物は逸らないしそれに通信使一行でない; int6 -> int7: 「この副生物は逸らない」ということは本当である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この総和は一定期間である一方で振り上げない; fact12 -> int10: もし仮にこの総和が一定期間だがそれが振り上げないならそれは喧しい; int9 & int10 -> int11: この総和は喧しい; int11 & fact4 -> int12: あの下っ端は考え易い; int12 & fact3 -> hypothesis;
このＤＮＳ．Ｂ．ｃｏｍは考え易いかまたは最終的解決でないかあるいはどちらもである
fact13 -> int13: このＤＮＳ．Ｂ．ｃｏｍが全党員でないとすればそれは考え易いかあるいは最終的解決でないかまたは両方ともである;
$facts$ = fact1: 「この委員会室は敵中深い」ということは真実であるとしたら「この副生物は逸る」ということは成り立つ fact2: 仮に「「一定期間であるしおまけに振り上げるということはない」ということは成り立たない」物があるならこのタルト型は全党員である fact3: もしあの下っ端は考え易いなら「このＤＮＳ．Ｂ．ｃｏｍは考え易いかもしくは最終的解決でないか両方だ」ということは本当でない fact4: もしもこの総和が喧しいとすればあの下っ端は考え易い fact5: もしもこのタルト型が全党員であるとしたらこの委員会室は敵中深い fact6: この専門歌人は滑れる fact7: もし仮にとあるものが滑れるとしたらそれは逸らないし通信使一行でない fact8: 仮に「なんらかの物は敵中深くないしその上最終的解決でない」ということは成り立たないならそれは最終的解決である fact9: もし仮になんらかの物が全党員でないとしたらそれは考え易いかそれは最終的解決だということはないかまたはどちらもだ fact10: 「この総和は一定期間であるけれど逸らない」ということは成り立たない fact11: この副生物は滑れる fact12: もし仮に一定期間が振り上げるということはないとすればそれは喧しい ; $hypothesis$ = このＤＮＳ．Ｂ．ｃｏｍは考え易いか最終的解決でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この総和は一定期間であるけれど振り上げない」ということは事実と異なる; assump1 -> int1: 「「一定期間だがしかし振り上げるということはない」ということは偽である」ものはある; int1 & fact2 -> int2: このタルト型は全党員である; int2 & fact5 -> int3: この委員会室は敵中深い; int3 & fact1 -> int4: この副生物は逸る; fact7 -> int5: 仮にこの副生物が滑れるとしたら逸らなくて更に通信使一行だということはない; int5 & fact11 -> int6: この副生物は逸らないしそれに通信使一行でない; int6 -> int7: 「この副生物は逸らない」ということは本当である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この総和は一定期間である一方で振り上げない; fact12 -> int10: もし仮にこの総和が一定期間だがそれが振り上げないならそれは喧しい; int9 & int10 -> int11: この総和は喧しい; int11 & fact4 -> int12: あの下っ端は考え易い; int12 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この委員会室は敵中深い」ということは真実であるとしたら「この副生物は逸る」ということは成り立つ
事実2: 仮に「「一定期間であるしおまけに振り上げるということはない」ということは成り立たない」物があるならこのタルト型は全党員である
事実3: もしあの下っ端は考え易いなら「このＤＮＳ．Ｂ．ｃｏｍは考え易いかもしくは最終的解決でないか両方だ」ということは本当でない
事実4: もしもこの総和が喧しいとすればあの下っ端は考え易い
事実5: もしもこのタルト型が全党員であるとしたらこの委員会室は敵中深い
事実6: この専門歌人は滑れる
事実7: もし仮にとあるものが滑れるとしたらそれは逸らないし通信使一行でない
事実8: 仮に「なんらかの物は敵中深くないしその上最終的解決でない」ということは成り立たないならそれは最終的解決である
事実9: もし仮になんらかの物が全党員でないとしたらそれは考え易いかそれは最終的解決だということはないかまたはどちらもだ
事実10: 「この総和は一定期間であるけれど逸らない」ということは成り立たない
事実11: この副生物は滑れる
事実12: もし仮に一定期間が振り上げるということはないとすればそれは喧しい

仮説: このＤＮＳ．Ｂ．ｃｏｍは考え易いか最終的解決でない
1. 仮定1: 以下のように仮定する。「この総和は一定期間であるけれど振り上げない」ということは事実と異なる
2. 仮定1から、推論1: "「「一定期間だがしかし振り上げるということはない」ということは偽である」ものはある"が導かれる
3. 推論1と事実2から、推論2: "このタルト型は全党員である"が導かれる
4. 推論2と事実5から、推論3: "この委員会室は敵中深い"が導かれる
5. 推論3と事実1から、推論4: "この副生物は逸る"が導かれる
6. 事実7から、推論5: "仮にこの副生物が滑れるとしたら逸らなくて更に通信使一行だということはない"が導かれる
7. 推論5と事実11から、推論6: "この副生物は逸らないしそれに通信使一行でない"が導かれる
8. 推論6から、推論7: "「この副生物は逸らない」ということは本当である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この総和は一定期間である一方で振り上げない"が導かれる
11. 事実12から、推論10: "もし仮にこの総和が一定期間だがそれが振り上げないならそれは喧しい"が導かれる
12. 推論9と推論10から、推論11: "この総和は喧しい"が導かれる
13. 推論11と事実4から、推論12: "あの下っ端は考え易い"が導かれる
14. 推論12と事実3から、仮説が否定される

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