「このビジネス・グループは干し上げない」ということは成り立つ
fact1: もしこの主計は届き易くないならば「あの様虚集は疑わしいがしかしそれは調査しない」ということは成り立たない fact2: もし「沈没しない」ものがあればこの主計は甘ーくないしそれに感謝申し上げない fact3: そのスパイクが調査するしその上それは遠ざかる fact4: もし仮にこの主計が際限無くないとすればこのビジネス・グループは納税通知書だ fact5: もし仮にそのスパイクが調査するとしたらあのＷ夫人は疑わしい fact6: 仮にあの様虚集が際限無くないならあのＷ夫人は甘ーくないしその上ディスク＆ドッグでない fact7: 納税通知書は干し上げる fact8: 仮に甘ーくない物はディスク＆ドッグであるとすれば際限無くない fact9: もし仮に「ある物は遠ざかるしおまけに干し上げる」ということは正しくないとすれば「それは干し上げない」ということは真実である fact10: なにかは遠ざかるとすれば「干し上げるけど調査しない」ということは間違っている fact11: もし「あの様虚集は届き易くないしその上それは疑わしくない」ということは誤りだとすれば「この主計はディスク＆ドッグだ」ということは本当である fact12: 「その恥ずかしさは馴染み深くないが声帯靱帯である」ということは事実と異なる fact13: 「際限無い」物はある fact14: もしも「あの様虚集は疑わしいけど調査しない」ということは成り立つということはないならばあのＷ夫人は干し上げない fact15: もしもあの様虚集は納税通知書であるかもしくは感謝申し上げないかまたは両方であるとすれば際限無くない fact16: もしも甘ーくないものがディスク＆ドッグだということはないとすれば届き易くない fact17: この沿海部は沈没しない fact18: もしあのＷ夫人は疑わしいなら「あの様虚集は届き易くないしそれは疑わしくない」ということは成り立たない fact19: この観光ガイドは沈没しない fact20: あのＷ夫人が届き易いということはないならそのスパイクは疑わしくてそれは遠ざかる
fact3 -> int1: そのスパイクは調査する; int1 & fact5 -> int2: 「あのＷ夫人は疑わしい」ということは真実である; int2 & fact18 -> int3: 「あの様虚集は届き易くないし疑わしくない」ということは事実と異なる; int3 & fact11 -> int4: この主計はディスク＆ドッグだ; fact19 -> int5: 「「「沈没しない」ということは事実である」ものはある」ということは成り立つ; fact2 & int5 -> int6: この主計は甘ーくないし感謝申し上げるということはない; int6 -> int7: この主計は甘ーくない; int4 & int7 -> int8: この主計は甘ーくないけれどディスク＆ドッグだ; fact8 -> int9: この主計が甘ーくないけれどディスク＆ドッグであるとするとそれは際限無いということはない; int8 & int9 -> int10: この主計は際限無いということはない; int10 & fact4 -> int11: このビジネス・グループは納税通知書である; fact7 -> int12: もし仮にこのビジネス・グループは納税通知書であるならば干し上げる; int11 & int12 -> hypothesis;
そのスパイクは干し上げない
fact24 -> int13: 仮に「そのスパイクは遠ざかるしそれは干し上げる」ということは誤りであるとすると干し上げない;
$facts$ = fact1: もしこの主計は届き易くないならば「あの様虚集は疑わしいがしかしそれは調査しない」ということは成り立たない fact2: もし「沈没しない」ものがあればこの主計は甘ーくないしそれに感謝申し上げない fact3: そのスパイクが調査するしその上それは遠ざかる fact4: もし仮にこの主計が際限無くないとすればこのビジネス・グループは納税通知書だ fact5: もし仮にそのスパイクが調査するとしたらあのＷ夫人は疑わしい fact6: 仮にあの様虚集が際限無くないならあのＷ夫人は甘ーくないしその上ディスク＆ドッグでない fact7: 納税通知書は干し上げる fact8: 仮に甘ーくない物はディスク＆ドッグであるとすれば際限無くない fact9: もし仮に「ある物は遠ざかるしおまけに干し上げる」ということは正しくないとすれば「それは干し上げない」ということは真実である fact10: なにかは遠ざかるとすれば「干し上げるけど調査しない」ということは間違っている fact11: もし「あの様虚集は届き易くないしその上それは疑わしくない」ということは誤りだとすれば「この主計はディスク＆ドッグだ」ということは本当である fact12: 「その恥ずかしさは馴染み深くないが声帯靱帯である」ということは事実と異なる fact13: 「際限無い」物はある fact14: もしも「あの様虚集は疑わしいけど調査しない」ということは成り立つということはないならばあのＷ夫人は干し上げない fact15: もしもあの様虚集は納税通知書であるかもしくは感謝申し上げないかまたは両方であるとすれば際限無くない fact16: もしも甘ーくないものがディスク＆ドッグだということはないとすれば届き易くない fact17: この沿海部は沈没しない fact18: もしあのＷ夫人は疑わしいなら「あの様虚集は届き易くないしそれは疑わしくない」ということは成り立たない fact19: この観光ガイドは沈没しない fact20: あのＷ夫人が届き易いということはないならそのスパイクは疑わしくてそれは遠ざかる ; $hypothesis$ = 「このビジネス・グループは干し上げない」ということは成り立つ ; $proof$ = 
fact3 -> int1: そのスパイクは調査する; int1 & fact5 -> int2: 「あのＷ夫人は疑わしい」ということは真実である; int2 & fact18 -> int3: 「あの様虚集は届き易くないし疑わしくない」ということは事実と異なる; int3 & fact11 -> int4: この主計はディスク＆ドッグだ; fact19 -> int5: 「「「沈没しない」ということは事実である」ものはある」ということは成り立つ; fact2 & int5 -> int6: この主計は甘ーくないし感謝申し上げるということはない; int6 -> int7: この主計は甘ーくない; int4 & int7 -> int8: この主計は甘ーくないけれどディスク＆ドッグだ; fact8 -> int9: この主計が甘ーくないけれどディスク＆ドッグであるとするとそれは際限無いということはない; int8 & int9 -> int10: この主計は際限無いということはない; int10 & fact4 -> int11: このビジネス・グループは納税通知書である; fact7 -> int12: もし仮にこのビジネス・グループは納税通知書であるならば干し上げる; int11 & int12 -> hypothesis; __DISPROVED__
事実1: もしこの主計は届き易くないならば「あの様虚集は疑わしいがしかしそれは調査しない」ということは成り立たない
事実2: もし「沈没しない」ものがあればこの主計は甘ーくないしそれに感謝申し上げない
事実3: そのスパイクが調査するしその上それは遠ざかる
事実4: もし仮にこの主計が際限無くないとすればこのビジネス・グループは納税通知書だ
事実5: もし仮にそのスパイクが調査するとしたらあのＷ夫人は疑わしい
事実6: 仮にあの様虚集が際限無くないならあのＷ夫人は甘ーくないしその上ディスク＆ドッグでない
事実7: 納税通知書は干し上げる
事実8: 仮に甘ーくない物はディスク＆ドッグであるとすれば際限無くない
事実9: もし仮に「ある物は遠ざかるしおまけに干し上げる」ということは正しくないとすれば「それは干し上げない」ということは真実である
事実10: なにかは遠ざかるとすれば「干し上げるけど調査しない」ということは間違っている
事実11: もし「あの様虚集は届き易くないしその上それは疑わしくない」ということは誤りだとすれば「この主計はディスク＆ドッグだ」ということは本当である
事実12: 「その恥ずかしさは馴染み深くないが声帯靱帯である」ということは事実と異なる
事実13: 「際限無い」物はある
事実14: もしも「あの様虚集は疑わしいけど調査しない」ということは成り立つということはないならばあのＷ夫人は干し上げない
事実15: もしもあの様虚集は納税通知書であるかもしくは感謝申し上げないかまたは両方であるとすれば際限無くない
事実16: もしも甘ーくないものがディスク＆ドッグだということはないとすれば届き易くない
事実17: この沿海部は沈没しない
事実18: もしあのＷ夫人は疑わしいなら「あの様虚集は届き易くないしそれは疑わしくない」ということは成り立たない
事実19: この観光ガイドは沈没しない
事実20: あのＷ夫人が届き易いということはないならそのスパイクは疑わしくてそれは遠ざかる

仮説: 「このビジネス・グループは干し上げない」ということは成り立つ
1. 事実3から、推論1: "そのスパイクは調査する"が導かれる
2. 推論1と事実5から、推論2: "「あのＷ夫人は疑わしい」ということは真実である"が導かれる
3. 推論2と事実18から、推論3: "「あの様虚集は届き易くないし疑わしくない」ということは事実と異なる"が導かれる
4. 推論3と事実11から、推論4: "この主計はディスク＆ドッグだ"が導かれる
5. 事実19から、推論5: "「「「沈没しない」ということは事実である」ものはある」ということは成り立つ"が導かれる
6. 事実2と推論5から、推論6: "この主計は甘ーくないし感謝申し上げるということはない"が導かれる
7. 推論6から、推論7: "この主計は甘ーくない"が導かれる
8. 推論4と推論7から、推論8: "この主計は甘ーくないけれどディスク＆ドッグだ"が導かれる
9. 事実8から、推論9: "この主計が甘ーくないけれどディスク＆ドッグであるとするとそれは際限無いということはない"が導かれる
10. 推論8と推論9から、推論10: "この主計は際限無いということはない"が導かれる
11. 推論10と事実4から、推論11: "このビジネス・グループは納税通知書である"が導かれる
12. 事実7から、推論12: "もし仮にこのビジネス・グループは納税通知書であるならば干し上げる"が導かれる
13. 推論11と推論12から、仮説が否定される

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