その弊害は藩鎮だしその上あどけない
fact1: もしこの反響は藩鎮でないとすると「その弊害は藩鎮でその上あどけない」ということは偽である fact2: もしも「この反響は藩鎮だ」ということは本当であるとしたら「この薬害ＡＩＤＳ訴訟は心地良いけれどそれはこそばゆいということはない」ということは誤りである fact3: もし仮にとある物は靴箱でないならば混み合うということはない fact4: 「もしもなんらかの物は祈念であるとしたら「それは目指せないけど動かし難い」ということは正しくない」ということは偽でない fact5: あのプロバイダーは動かし難い fact6: もしも「「心地良いししかもこそばゆくない」ということは事実でない」物があるとすればそのＡ面は靴箱でない fact7: もしあのプロバイダーは動かし難いならば「そのＡ面は御忙しいけどそれは混み合うということはない」ということは偽だ fact8: もしも「この反響は目指せないがしかし動かし難い」ということは嘘であるならそれは御忙しい fact9: すべての物は祈念である fact10: なんらかの物は靴箱でないとしたら藩鎮だしまたあどけない fact11: そのチアミン合成は藩鎮だ fact12: 「この反響は藩鎮でその上目指せる」ということは確かでない fact13: そのＡ面は御忙しいしそれに目指せる
void -> assump1: 以下のように仮定する。「この反響は藩鎮でない」ということは事実と異なる; fact2 & assump1 -> int1: 「この薬害ＡＩＤＳ訴訟は心地良いけれどこそばゆくない」ということは誤っている; int1 -> int2: 「「心地良くておまけにこそばゆくない」ということは間違いである」ものはある; int2 & fact6 -> int3: そのＡ面は靴箱だということはない; fact3 -> int4: 仮にそのＡ面は靴箱でないとしたら「混み合うということはない」ということは確かだ; int3 & int4 -> int5: そのＡ面は混み合わない; fact13 -> int6: そのＡ面は御忙しい; int5 & int6 -> int7: そのＡ面は御忙しいがしかし混み合わない; fact7 & fact5 -> int8: 「そのＡ面は御忙しいけど混み合うということはない」ということは事実と異なる; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この反響は藩鎮でない; int10 & fact1 -> hypothesis;
その弊害は藩鎮だしかつあどけない
fact14 -> int11: もし仮にその弊害は靴箱であるということはないとすれば藩鎮であるしあどけない; fact15 -> int12: もしこの薬害ＡＩＤＳ訴訟は祈念であるならば「目指せるということはなくてそれは動かし難い」ということは成り立つということはない; fact17 -> int13: この薬害ＡＩＤＳ訴訟は祈念である; int12 & int13 -> int14: 「この薬害ＡＩＤＳ訴訟は目指せないが動かし難い」ということは間違いである; int14 -> int15: 目指せないがしかし動かし難いというものはない; int15 -> int16: 「この反響は目指せないけど動かし難い」ということは嘘だ; fact16 & int16 -> int17: この反響は御忙しい;
$facts$ = fact1: もしこの反響は藩鎮でないとすると「その弊害は藩鎮でその上あどけない」ということは偽である fact2: もしも「この反響は藩鎮だ」ということは本当であるとしたら「この薬害ＡＩＤＳ訴訟は心地良いけれどそれはこそばゆいということはない」ということは誤りである fact3: もし仮にとある物は靴箱でないならば混み合うということはない fact4: 「もしもなんらかの物は祈念であるとしたら「それは目指せないけど動かし難い」ということは正しくない」ということは偽でない fact5: あのプロバイダーは動かし難い fact6: もしも「「心地良いししかもこそばゆくない」ということは事実でない」物があるとすればそのＡ面は靴箱でない fact7: もしあのプロバイダーは動かし難いならば「そのＡ面は御忙しいけどそれは混み合うということはない」ということは偽だ fact8: もしも「この反響は目指せないがしかし動かし難い」ということは嘘であるならそれは御忙しい fact9: すべての物は祈念である fact10: なんらかの物は靴箱でないとしたら藩鎮だしまたあどけない fact11: そのチアミン合成は藩鎮だ fact12: 「この反響は藩鎮でその上目指せる」ということは確かでない fact13: そのＡ面は御忙しいしそれに目指せる ; $hypothesis$ = その弊害は藩鎮だしその上あどけない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この反響は藩鎮でない」ということは事実と異なる; fact2 & assump1 -> int1: 「この薬害ＡＩＤＳ訴訟は心地良いけれどこそばゆくない」ということは誤っている; int1 -> int2: 「「心地良くておまけにこそばゆくない」ということは間違いである」ものはある; int2 & fact6 -> int3: そのＡ面は靴箱だということはない; fact3 -> int4: 仮にそのＡ面は靴箱でないとしたら「混み合うということはない」ということは確かだ; int3 & int4 -> int5: そのＡ面は混み合わない; fact13 -> int6: そのＡ面は御忙しい; int5 & int6 -> int7: そのＡ面は御忙しいがしかし混み合わない; fact7 & fact5 -> int8: 「そのＡ面は御忙しいけど混み合うということはない」ということは事実と異なる; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この反響は藩鎮でない; int10 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの反響は藩鎮でないとすると「その弊害は藩鎮でその上あどけない」ということは偽である
事実2: もしも「この反響は藩鎮だ」ということは本当であるとしたら「この薬害ＡＩＤＳ訴訟は心地良いけれどそれはこそばゆいということはない」ということは誤りである
事実3: もし仮にとある物は靴箱でないならば混み合うということはない
事実4: 「もしもなんらかの物は祈念であるとしたら「それは目指せないけど動かし難い」ということは正しくない」ということは偽でない
事実5: あのプロバイダーは動かし難い
事実6: もしも「「心地良いししかもこそばゆくない」ということは事実でない」物があるとすればそのＡ面は靴箱でない
事実7: もしあのプロバイダーは動かし難いならば「そのＡ面は御忙しいけどそれは混み合うということはない」ということは偽だ
事実8: もしも「この反響は目指せないがしかし動かし難い」ということは嘘であるならそれは御忙しい
事実9: すべての物は祈念である
事実10: なんらかの物は靴箱でないとしたら藩鎮だしまたあどけない
事実11: そのチアミン合成は藩鎮だ
事実12: 「この反響は藩鎮でその上目指せる」ということは確かでない
事実13: そのＡ面は御忙しいしそれに目指せる

仮説: その弊害は藩鎮だしその上あどけない
1. 仮定1: 以下のように仮定する。「この反響は藩鎮でない」ということは事実と異なる
2. 事実2と仮定1から、推論1: "「この薬害ＡＩＤＳ訴訟は心地良いけれどこそばゆくない」ということは誤っている"が導かれる
3. 推論1から、推論2: "「「心地良くておまけにこそばゆくない」ということは間違いである」ものはある"が導かれる
4. 推論2と事実6から、推論3: "そのＡ面は靴箱だということはない"が導かれる
5. 事実3から、推論4: "仮にそのＡ面は靴箱でないとしたら「混み合うということはない」ということは確かだ"が導かれる
6. 推論3と推論4から、推論5: "そのＡ面は混み合わない"が導かれる
7. 事実13から、推論6: "そのＡ面は御忙しい"が導かれる
8. 推論5と推論6から、推論7: "そのＡ面は御忙しいがしかし混み合わない"が導かれる
9. 事実7と事実5から、推論8: "「そのＡ面は御忙しいけど混み合うということはない」ということは事実と異なる"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この反響は藩鎮でない"が導かれる
12. 推論10と事実1から、仮説が否定される

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