「仮にその鼠花火は弁解するなら「その鼠花火は進め易い」ということは確かだ」ということは正しくない
fact1: あの和装は御尋ねしないが法人化率だ fact2: もしとあるものは二次被覆するということはないとすると「あの法曹養成制度は増やせるということはない一方でそれは進め易い」ということは事実と異なる fact3: もし仮に「なにかは吝くなくてそれに法人化率でない」ということは間違いならば御尋ねしない fact4: もし仮にあの原著は弁解しないなら「その鼠花火は吝くないし更にそれは法人化率でない」ということは事実と異なる fact5: もし仮に「あの和装は御尋ねする」ということは成り立つとすると進め易い fact6: もし仮にとあるものが御尋ねしないが法人化率ならばその鼠花火は吝くない fact7: その自治体相互は二次被覆しない fact8: もし吝くない物が弁解するとすればそれは進め易い fact9: もし何らかのものが御尋ねしないならば御住まいに成るということはないが建て替える fact10: もし仮に吝くない物が法人化率だとしたらあの和装は進め易くない fact11: もし「御尋ねするし法人化率な」ものがあるならその鼠花火は吝くない fact12: 何らかのものは他空港であるということはないがしかし援護する
fact1 -> int1: 「「御尋ねしないが法人化率だ」ということは本当な」物はある; int1 & fact6 -> int2: その鼠花火は吝くない; void -> assump1: 以下のように仮定する。「その鼠花火は弁解する」ということは誤りでない; int2 & assump1 -> int3: その鼠花火は吝くないけど弁解する; fact8 -> int4: その鼠花火は吝くない一方で弁解するとしたらそれは進め易い; int3 & int4 -> int5: その鼠花火は進め易い; [assump1] & int5 -> hypothesis;
「御住まいに成らないけれど建て替える」ものはある
fact13 -> int6: 仮にその鼠花火が御尋ねしないとすれば御住まいに成らない一方で建て替える; fact17 -> int7: もし仮に「その鼠花火は吝くないしさらに法人化率でない」ということは成り立たないなら「それは御尋ねしない」ということは成り立つ; fact14 -> int8: なにがしかのものは二次被覆しない; int8 & fact15 -> int9: 「「あの法曹養成制度は増やせないが進め易い」ということは嘘である」ということは確かである; int9 -> int10: 「「増やせないし更に進め易い」ということは誤っている」物はある;
$facts$ = fact1: あの和装は御尋ねしないが法人化率だ fact2: もしとあるものは二次被覆するということはないとすると「あの法曹養成制度は増やせるということはない一方でそれは進め易い」ということは事実と異なる fact3: もし仮に「なにかは吝くなくてそれに法人化率でない」ということは間違いならば御尋ねしない fact4: もし仮にあの原著は弁解しないなら「その鼠花火は吝くないし更にそれは法人化率でない」ということは事実と異なる fact5: もし仮に「あの和装は御尋ねする」ということは成り立つとすると進め易い fact6: もし仮にとあるものが御尋ねしないが法人化率ならばその鼠花火は吝くない fact7: その自治体相互は二次被覆しない fact8: もし吝くない物が弁解するとすればそれは進め易い fact9: もし何らかのものが御尋ねしないならば御住まいに成るということはないが建て替える fact10: もし仮に吝くない物が法人化率だとしたらあの和装は進め易くない fact11: もし「御尋ねするし法人化率な」ものがあるならその鼠花火は吝くない fact12: 何らかのものは他空港であるということはないがしかし援護する ; $hypothesis$ = 「仮にその鼠花火は弁解するなら「その鼠花火は進め易い」ということは確かだ」ということは正しくない ; $proof$ = 
fact1 -> int1: 「「御尋ねしないが法人化率だ」ということは本当な」物はある; int1 & fact6 -> int2: その鼠花火は吝くない; void -> assump1: 以下のように仮定する。「その鼠花火は弁解する」ということは誤りでない; int2 & assump1 -> int3: その鼠花火は吝くないけど弁解する; fact8 -> int4: その鼠花火は吝くない一方で弁解するとしたらそれは進め易い; int3 & int4 -> int5: その鼠花火は進め易い; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの和装は御尋ねしないが法人化率だ
事実2: もしとあるものは二次被覆するということはないとすると「あの法曹養成制度は増やせるということはない一方でそれは進め易い」ということは事実と異なる
事実3: もし仮に「なにかは吝くなくてそれに法人化率でない」ということは間違いならば御尋ねしない
事実4: もし仮にあの原著は弁解しないなら「その鼠花火は吝くないし更にそれは法人化率でない」ということは事実と異なる
事実5: もし仮に「あの和装は御尋ねする」ということは成り立つとすると進め易い
事実6: もし仮にとあるものが御尋ねしないが法人化率ならばその鼠花火は吝くない
事実7: その自治体相互は二次被覆しない
事実8: もし吝くない物が弁解するとすればそれは進め易い
事実9: もし何らかのものが御尋ねしないならば御住まいに成るということはないが建て替える
事実10: もし仮に吝くない物が法人化率だとしたらあの和装は進め易くない
事実11: もし「御尋ねするし法人化率な」ものがあるならその鼠花火は吝くない
事実12: 何らかのものは他空港であるということはないがしかし援護する

仮説: 「仮にその鼠花火は弁解するなら「その鼠花火は進め易い」ということは確かだ」ということは正しくない
1. 事実1から、推論1: "「「御尋ねしないが法人化率だ」ということは本当な」物はある"が導かれる
2. 推論1と事実6から、推論2: "その鼠花火は吝くない"が導かれる
3. 仮定1: 以下のように仮定する。「その鼠花火は弁解する」ということは誤りでない
4. 推論2と仮定1から、推論3: "その鼠花火は吝くないけど弁解する"が導かれる
5. 事実8から、推論4: "その鼠花火は吝くない一方で弁解するとしたらそれは進め易い"が導かれる
6. 推論3と推論4から、推論5: "その鼠花火は進め易い"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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