「このジャスダック市場は強度比だ」ということは本当である
fact1: もし「キャンセルしない」ものがあるとするとこのジャスダック市場はきな臭くない fact2: もし仮に「あの事業用電気工作物は問題発見力だ一方でキャンセルしない」ということは成り立たないとしたらこのジャスダック市場は問題発見力でない fact3: もしもなにかはキャンセルしないならばそれは強度比でしかもサイドチェンジである fact4: もしある物はサイドチェンジだとすれば「それは問題発見力であるけれどキャンセルしない」ということは誤りである fact5: とあるものが第でないとすればそれは江戸時代末期でない fact6: 「還住するということはないかまたは騒々しくない」物はある fact7: 仮に「サイドチェンジでないかあるいはキャンセルしないかもしくは両方ともである」物があるとするとこのジャスダック市場はきな臭くない fact8: 「サイドチェンジであるということはないかあるいはキャンセルするということはないかあるいは両方な」ものはある fact9: きな臭くない物は強度比だということはない
fact8 & fact7 -> int1: このジャスダック市場はきな臭くない; fact9 -> int2: 仮にこのジャスダック市場がきな臭くないとすれば強度比でない; int1 & int2 -> hypothesis;
fact8 & fact7 -> int1: ¬{C}{a}; fact9 -> int2: ¬{C}{a} -> ¬{D}{a}; int1 & int2 -> hypothesis;
このジャスダック市場は強度比だ
fact10 -> int3: もしもこのジャスダック市場がキャンセルしないとするとそれが強度比だしおまけにそれはサイドチェンジだ;
$facts$ = fact1: もし「キャンセルしない」ものがあるとするとこのジャスダック市場はきな臭くない fact2: もし仮に「あの事業用電気工作物は問題発見力だ一方でキャンセルしない」ということは成り立たないとしたらこのジャスダック市場は問題発見力でない fact3: もしもなにかはキャンセルしないならばそれは強度比でしかもサイドチェンジである fact4: もしある物はサイドチェンジだとすれば「それは問題発見力であるけれどキャンセルしない」ということは誤りである fact5: とあるものが第でないとすればそれは江戸時代末期でない fact6: 「還住するということはないかまたは騒々しくない」物はある fact7: 仮に「サイドチェンジでないかあるいはキャンセルしないかもしくは両方ともである」物があるとするとこのジャスダック市場はきな臭くない fact8: 「サイドチェンジであるということはないかあるいはキャンセルするということはないかあるいは両方な」ものはある fact9: きな臭くない物は強度比だということはない ; $hypothesis$ = 「このジャスダック市場は強度比だ」ということは本当である ; $proof$ = 
fact8 & fact7 -> int1: このジャスダック市場はきな臭くない; fact9 -> int2: 仮にこのジャスダック市場がきな臭くないとすれば強度比でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「キャンセルしない」ものがあるとするとこのジャスダック市場はきな臭くない
事実2: もし仮に「あの事業用電気工作物は問題発見力だ一方でキャンセルしない」ということは成り立たないとしたらこのジャスダック市場は問題発見力でない
事実3: もしもなにかはキャンセルしないならばそれは強度比でしかもサイドチェンジである
事実4: もしある物はサイドチェンジだとすれば「それは問題発見力であるけれどキャンセルしない」ということは誤りである
事実5: とあるものが第でないとすればそれは江戸時代末期でない
事実6: 「還住するということはないかまたは騒々しくない」物はある
事実7: 仮に「サイドチェンジでないかあるいはキャンセルしないかもしくは両方ともである」物があるとするとこのジャスダック市場はきな臭くない
事実8: 「サイドチェンジであるということはないかあるいはキャンセルするということはないかあるいは両方な」ものはある
事実9: きな臭くない物は強度比だということはない

仮説: 「このジャスダック市場は強度比だ」ということは本当である
1. 事実8と事実7から、推論1: "このジャスダック市場はきな臭くない"が導かれる
2. 事実9から、推論2: "仮にこのジャスダック市場がきな臭くないとすれば強度比でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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