あの競争圧力は乗り切れるということはないしおまけにそれは初々しかない
fact1: 「あの展開例は論破しない」ということは事実と異ならない fact2: 「その法務省令は論破しない」ということは事実と異ならない fact3: 「その法務省令は論破しないけど与え過ぎる」ということは誤っている fact4: もしこの交絡因子は初々しいとすると「あの競争圧力は乗り切れるということはないし初々しかない」ということは成り立たない fact5: 仮に「あるものは迫り出す」ということは間違いでないとすればそれは築造する fact6: その都内某店・等価交換が与え過ぎるとしたらその法務省令は論破する fact7: もしこの交絡因子が全機でないならそのラボは宣伝カーである fact8: もしもそのラボが宣伝カーであるならその都内某店・等価交換は与え過ぎる fact9: 仮にこの交絡因子は磨き続けないなら「全機でない」ということは偽でない fact10: なにかは磨き続けるなら初々しい
void -> assump1: 以下のように仮定する。この交絡因子は磨き続けない; fact9 & assump1 -> int1: この交絡因子は全機でない; int1 & fact7 -> int2: 「そのラボは宣伝カーだ」ということは事実と異ならない; int2 & fact8 -> int3: その都内某店・等価交換は与え過ぎる; int3 & fact6 -> int4: その法務省令は論破する; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この交絡因子は磨き続ける」ということは事実である; fact10 -> int7: もし「この交絡因子は磨き続ける」ということは成り立つとすると初々しい; int6 & int7 -> int8: この交絡因子は初々しい; int8 & fact4 -> hypothesis;
$facts$ = fact1: 「あの展開例は論破しない」ということは事実と異ならない fact2: 「その法務省令は論破しない」ということは事実と異ならない fact3: 「その法務省令は論破しないけど与え過ぎる」ということは誤っている fact4: もしこの交絡因子は初々しいとすると「あの競争圧力は乗り切れるということはないし初々しかない」ということは成り立たない fact5: 仮に「あるものは迫り出す」ということは間違いでないとすればそれは築造する fact6: その都内某店・等価交換が与え過ぎるとしたらその法務省令は論破する fact7: もしこの交絡因子が全機でないならそのラボは宣伝カーである fact8: もしもそのラボが宣伝カーであるならその都内某店・等価交換は与え過ぎる fact9: 仮にこの交絡因子は磨き続けないなら「全機でない」ということは偽でない fact10: なにかは磨き続けるなら初々しい ; $hypothesis$ = あの競争圧力は乗り切れるということはないしおまけにそれは初々しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。この交絡因子は磨き続けない; fact9 & assump1 -> int1: この交絡因子は全機でない; int1 & fact7 -> int2: 「そのラボは宣伝カーだ」ということは事実と異ならない; int2 & fact8 -> int3: その都内某店・等価交換は与え過ぎる; int3 & fact6 -> int4: その法務省令は論破する; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この交絡因子は磨き続ける」ということは事実である; fact10 -> int7: もし「この交絡因子は磨き続ける」ということは成り立つとすると初々しい; int6 & int7 -> int8: この交絡因子は初々しい; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: 「あの展開例は論破しない」ということは事実と異ならない
事実2: 「その法務省令は論破しない」ということは事実と異ならない
事実3: 「その法務省令は論破しないけど与え過ぎる」ということは誤っている
事実4: もしこの交絡因子は初々しいとすると「あの競争圧力は乗り切れるということはないし初々しかない」ということは成り立たない
事実5: 仮に「あるものは迫り出す」ということは間違いでないとすればそれは築造する
事実6: その都内某店・等価交換が与え過ぎるとしたらその法務省令は論破する
事実7: もしこの交絡因子が全機でないならそのラボは宣伝カーである
事実8: もしもそのラボが宣伝カーであるならその都内某店・等価交換は与え過ぎる
事実9: 仮にこの交絡因子は磨き続けないなら「全機でない」ということは偽でない
事実10: なにかは磨き続けるなら初々しい

仮説: あの競争圧力は乗り切れるということはないしおまけにそれは初々しかない
1. 仮定1: 以下のように仮定する。この交絡因子は磨き続けない
2. 事実9と仮定1から、推論1: "この交絡因子は全機でない"が導かれる
3. 推論1と事実7から、推論2: "「そのラボは宣伝カーだ」ということは事実と異ならない"が導かれる
4. 推論2と事実8から、推論3: "その都内某店・等価交換は与え過ぎる"が導かれる
5. 推論3と事実6から、推論4: "その法務省令は論破する"が導かれる
6. 推論4と事実2から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この交絡因子は磨き続ける」ということは事実である"が導かれる
8. 事実10から、推論7: "もし「この交絡因子は磨き続ける」ということは成り立つとすると初々しい"が導かれる
9. 推論6と推論7から、推論8: "この交絡因子は初々しい"が導かれる
10. 推論8と事実4から、仮説が否定される

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