その書名は符合するということはない
fact1: その糾弾が組織しないとするとその書名は成膜する fact2: 「ゼイな」ものはある fact3: もし「その糾弾は取り出し易いけれどイメージダウンでない」ということは偽だとしたら「最もらしい」ということは本当である fact4: もしその糾弾は取り出し易くないし加えてゼイであるということはないとすれば「その書名は符合するということはない」ということは成り立つ fact5: 「「ゼイでない」ということは正しい」ものはある fact6: その糾弾は最もらしいとすると「御貸せ申さないしさらに実験するということはない」ということは成り立たない fact7: もし仮に「ゼイでない」ものはあるとすれば「その糾弾は取り出し易いしイメージダウンである」ということは成り立たない fact8: イメージダウンは取り出し易いということはなくてかつゼイでない fact9: その糾弾は最もらしいならば「「御貸せ申さないけれど実験する」ということは本当だ」ということは成り立たない fact10: 「ゼイであるということはない」ものはあれば「その糾弾は取り出し易いけれどイメージダウンでない」ということは事実でない fact11: もしもその糾弾が実験すれば組織しない fact12: その書名は成膜する fact13: この単艦長が最もらしいとするとその糾弾はイメージダウンである fact14: もし仮にその糾弾が組織しないとしたらその書名は符合するし成膜する fact15: 「「その糾弾は御貸せ申さない一方で実験する」ということは成り立つということはない」ということは誤っていない fact16: もし「その糾弾は御貸せ申さないし実験しない」ということは事実と異なるとすればそれは組織しない
fact5 & fact10 -> int1: 「その糾弾は取り出し易い一方でイメージダウンでない」ということは成り立たない; int1 & fact3 -> int2: その糾弾は最もらしい; int2 & fact6 -> int3: 「その糾弾は御貸せ申さないし更に実験しない」ということは成り立たない; int3 & fact16 -> int4: その糾弾は組織しない; int4 & fact14 -> int5: その書名は符合するしそれに成膜する; int5 -> hypothesis;
その書名は符合しない
fact19 -> int6: 仮にその糾弾はイメージダウンであるとしたら取り出し易いということはなくてゼイでない;
$facts$ = fact1: その糾弾が組織しないとするとその書名は成膜する fact2: 「ゼイな」ものはある fact3: もし「その糾弾は取り出し易いけれどイメージダウンでない」ということは偽だとしたら「最もらしい」ということは本当である fact4: もしその糾弾は取り出し易くないし加えてゼイであるということはないとすれば「その書名は符合するということはない」ということは成り立つ fact5: 「「ゼイでない」ということは正しい」ものはある fact6: その糾弾は最もらしいとすると「御貸せ申さないしさらに実験するということはない」ということは成り立たない fact7: もし仮に「ゼイでない」ものはあるとすれば「その糾弾は取り出し易いしイメージダウンである」ということは成り立たない fact8: イメージダウンは取り出し易いということはなくてかつゼイでない fact9: その糾弾は最もらしいならば「「御貸せ申さないけれど実験する」ということは本当だ」ということは成り立たない fact10: 「ゼイであるということはない」ものはあれば「その糾弾は取り出し易いけれどイメージダウンでない」ということは事実でない fact11: もしもその糾弾が実験すれば組織しない fact12: その書名は成膜する fact13: この単艦長が最もらしいとするとその糾弾はイメージダウンである fact14: もし仮にその糾弾が組織しないとしたらその書名は符合するし成膜する fact15: 「「その糾弾は御貸せ申さない一方で実験する」ということは成り立つということはない」ということは誤っていない fact16: もし「その糾弾は御貸せ申さないし実験しない」ということは事実と異なるとすればそれは組織しない ; $hypothesis$ = その書名は符合するということはない ; $proof$ = 
fact5 & fact10 -> int1: 「その糾弾は取り出し易い一方でイメージダウンでない」ということは成り立たない; int1 & fact3 -> int2: その糾弾は最もらしい; int2 & fact6 -> int3: 「その糾弾は御貸せ申さないし更に実験しない」ということは成り立たない; int3 & fact16 -> int4: その糾弾は組織しない; int4 & fact14 -> int5: その書名は符合するしそれに成膜する; int5 -> hypothesis; __DISPROVED__
事実1: その糾弾が組織しないとするとその書名は成膜する
事実2: 「ゼイな」ものはある
事実3: もし「その糾弾は取り出し易いけれどイメージダウンでない」ということは偽だとしたら「最もらしい」ということは本当である
事実4: もしその糾弾は取り出し易くないし加えてゼイであるということはないとすれば「その書名は符合するということはない」ということは成り立つ
事実5: 「「ゼイでない」ということは正しい」ものはある
事実6: その糾弾は最もらしいとすると「御貸せ申さないしさらに実験するということはない」ということは成り立たない
事実7: もし仮に「ゼイでない」ものはあるとすれば「その糾弾は取り出し易いしイメージダウンである」ということは成り立たない
事実8: イメージダウンは取り出し易いということはなくてかつゼイでない
事実9: その糾弾は最もらしいならば「「御貸せ申さないけれど実験する」ということは本当だ」ということは成り立たない
事実10: 「ゼイであるということはない」ものはあれば「その糾弾は取り出し易いけれどイメージダウンでない」ということは事実でない
事実11: もしもその糾弾が実験すれば組織しない
事実12: その書名は成膜する
事実13: この単艦長が最もらしいとするとその糾弾はイメージダウンである
事実14: もし仮にその糾弾が組織しないとしたらその書名は符合するし成膜する
事実15: 「「その糾弾は御貸せ申さない一方で実験する」ということは成り立つということはない」ということは誤っていない
事実16: もし「その糾弾は御貸せ申さないし実験しない」ということは事実と異なるとすればそれは組織しない

仮説: その書名は符合するということはない
1. 事実5と事実10から、推論1: "「その糾弾は取り出し易い一方でイメージダウンでない」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "その糾弾は最もらしい"が導かれる
3. 推論2と事実6から、推論3: "「その糾弾は御貸せ申さないし更に実験しない」ということは成り立たない"が導かれる
4. 推論3と事実16から、推論4: "その糾弾は組織しない"が導かれる
5. 推論4と事実14から、推論5: "その書名は符合するしそれに成膜する"が導かれる
6. 推論5から、仮説が否定される

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