「もしもその旨みはませるとしたら「この異常所見はロケットランチャーでない」ということは成り立つ」ということは間違いである
fact1: 「「あざといし加えて考え辛い」ということは確かでない」物はある fact2: もし仮にその旨みが制動力であるし更にませるならばあの異常所見はロケットランチャーであるということはない fact3: ある物はあざといということはないけどそれは考え辛い fact4: 仮にその旨みが制動力だしおまけにませるならこの異常所見はロケットランチャーである fact5: もしもこの異常所見は茶色っぽくないならば「ロケットランチャーだ一方で制動力だということはない」ということは間違いである fact6: 仮に「考え辛くない」ものがあるならその旨みは制動力である fact7: 「「あざとくないしおまけに考え辛い」ということは間違っている」物はある fact8: もしも「「あざとくないし更に考え辛い」ということは嘘な」物があるとすればあの旨みは制動力だ fact9: 仮に「この異常所見がロケットランチャーだけど制動力でない」ということは間違っているならそれは制動力だ fact10: もしその旨みはロケットランチャーであるとしたら「あの内容理解は制動力であるがしかしませない」ということは成り立つということはない fact11: 「「ませるし更にロケットランチャーだ」ということは成り立たない」ものはある fact12: この異常所見はロケットランチャーだ fact13: 仮に「「ませないしさらに制動力である」ということは誤りな」ものがあるとするとその旨みはロケットランチャーだ fact14: 茶色っぽくない物はませるしかつロケットランチャーである fact15: もし仮にその旨みがませるとするとこの異常所見はロケットランチャーだ fact16: この異常所見が制動力であるしおまけにロケットランチャーであるとすればあの旨みはませない
fact7 & fact8 -> int1: その旨みは制動力だ; void -> assump1: 以下のように仮定する。「その旨みはませる」ということは成り立つ; int1 & assump1 -> int2: その旨みは制動力であるしませる; int2 & fact2 -> int3: この異常所見はロケットランチャーであるということはない; [assump1] & int3 -> hypothesis;
その烈風は制動力である
fact17 -> int4: もしもその烈風が茶色っぽくないとするとませるし加えてロケットランチャーである;
$facts$ = fact1: 「「あざといし加えて考え辛い」ということは確かでない」物はある fact2: もし仮にその旨みが制動力であるし更にませるならばあの異常所見はロケットランチャーであるということはない fact3: ある物はあざといということはないけどそれは考え辛い fact4: 仮にその旨みが制動力だしおまけにませるならこの異常所見はロケットランチャーである fact5: もしもこの異常所見は茶色っぽくないならば「ロケットランチャーだ一方で制動力だということはない」ということは間違いである fact6: 仮に「考え辛くない」ものがあるならその旨みは制動力である fact7: 「「あざとくないしおまけに考え辛い」ということは間違っている」物はある fact8: もしも「「あざとくないし更に考え辛い」ということは嘘な」物があるとすればあの旨みは制動力だ fact9: 仮に「この異常所見がロケットランチャーだけど制動力でない」ということは間違っているならそれは制動力だ fact10: もしその旨みはロケットランチャーであるとしたら「あの内容理解は制動力であるがしかしませない」ということは成り立つということはない fact11: 「「ませるし更にロケットランチャーだ」ということは成り立たない」ものはある fact12: この異常所見はロケットランチャーだ fact13: 仮に「「ませないしさらに制動力である」ということは誤りな」ものがあるとするとその旨みはロケットランチャーだ fact14: 茶色っぽくない物はませるしかつロケットランチャーである fact15: もし仮にその旨みがませるとするとこの異常所見はロケットランチャーだ fact16: この異常所見が制動力であるしおまけにロケットランチャーであるとすればあの旨みはませない ; $hypothesis$ = 「もしもその旨みはませるとしたら「この異常所見はロケットランチャーでない」ということは成り立つ」ということは間違いである ; $proof$ = 
fact7 & fact8 -> int1: その旨みは制動力だ; void -> assump1: 以下のように仮定する。「その旨みはませる」ということは成り立つ; int1 & assump1 -> int2: その旨みは制動力であるしませる; int2 & fact2 -> int3: この異常所見はロケットランチャーであるということはない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「「あざといし加えて考え辛い」ということは確かでない」物はある
事実2: もし仮にその旨みが制動力であるし更にませるならばあの異常所見はロケットランチャーであるということはない
事実3: ある物はあざといということはないけどそれは考え辛い
事実4: 仮にその旨みが制動力だしおまけにませるならこの異常所見はロケットランチャーである
事実5: もしもこの異常所見は茶色っぽくないならば「ロケットランチャーだ一方で制動力だということはない」ということは間違いである
事実6: 仮に「考え辛くない」ものがあるならその旨みは制動力である
事実7: 「「あざとくないしおまけに考え辛い」ということは間違っている」物はある
事実8: もしも「「あざとくないし更に考え辛い」ということは嘘な」物があるとすればあの旨みは制動力だ
事実9: 仮に「この異常所見がロケットランチャーだけど制動力でない」ということは間違っているならそれは制動力だ
事実10: もしその旨みはロケットランチャーであるとしたら「あの内容理解は制動力であるがしかしませない」ということは成り立つということはない
事実11: 「「ませるし更にロケットランチャーだ」ということは成り立たない」ものはある
事実12: この異常所見はロケットランチャーだ
事実13: 仮に「「ませないしさらに制動力である」ということは誤りな」ものがあるとするとその旨みはロケットランチャーだ
事実14: 茶色っぽくない物はませるしかつロケットランチャーである
事実15: もし仮にその旨みがませるとするとこの異常所見はロケットランチャーだ
事実16: この異常所見が制動力であるしおまけにロケットランチャーであるとすればあの旨みはませない

仮説: 「もしもその旨みはませるとしたら「この異常所見はロケットランチャーでない」ということは成り立つ」ということは間違いである
1. 事実7と事実8から、推論1: "その旨みは制動力だ"が導かれる
2. 仮定1: 以下のように仮定する。「その旨みはませる」ということは成り立つ
3. 推論1と仮定1から、推論2: "その旨みは制動力であるしませる"が導かれる
4. 推論2と事実2から、推論3: "この異常所見はロケットランチャーであるということはない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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