その御事は飛び続けない
fact1: 仮になにがしかのものは再編するということはないとすると「グレーディド形光ファイバであるけど地盤改良工法でない」ということは成り立たない fact2: この行動形式は再編しない fact3: もしも不二性はグレーディド形光ファイバであるということはないとすれば飛び続けない fact4: この行動形式は地盤改良工法でない fact5: もし仮にあの八人兄弟が不二性でないとすればその御事は飛び続ける fact6: その個別的自衛権は再編しない fact7: あの八人兄弟が不二性だとしたらこの行動形式はグレーディド形光ファイバである fact8: あの請求は不二性でない
void -> assump1: 以下のように仮定する。あの八人兄弟は不二性である; fact7 & assump1 -> int1: この行動形式はグレーディド形光ファイバである; int1 & fact4 -> int2: この行動形式はグレーディド形光ファイバだがしかし地盤改良工法でない; fact1 -> int3: もしもこの行動形式は再編するということはないとすれば「それはグレーディド形光ファイバであるし地盤改良工法でない」ということは事実でない; fact2 & int3 -> int4: 「この行動形式はグレーディド形光ファイバであるが地盤改良工法でない」ということは成り立つということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの八人兄弟は不二性でない; int6 & fact5 -> hypothesis;
その御事は飛び続けない
fact9 -> int7: その御事は不二性だけどグレーディド形光ファイバでないなら飛び続けない;
$facts$ = fact1: 仮になにがしかのものは再編するということはないとすると「グレーディド形光ファイバであるけど地盤改良工法でない」ということは成り立たない fact2: この行動形式は再編しない fact3: もしも不二性はグレーディド形光ファイバであるということはないとすれば飛び続けない fact4: この行動形式は地盤改良工法でない fact5: もし仮にあの八人兄弟が不二性でないとすればその御事は飛び続ける fact6: その個別的自衛権は再編しない fact7: あの八人兄弟が不二性だとしたらこの行動形式はグレーディド形光ファイバである fact8: あの請求は不二性でない ; $hypothesis$ = その御事は飛び続けない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの八人兄弟は不二性である; fact7 & assump1 -> int1: この行動形式はグレーディド形光ファイバである; int1 & fact4 -> int2: この行動形式はグレーディド形光ファイバだがしかし地盤改良工法でない; fact1 -> int3: もしもこの行動形式は再編するということはないとすれば「それはグレーディド形光ファイバであるし地盤改良工法でない」ということは事実でない; fact2 & int3 -> int4: 「この行動形式はグレーディド形光ファイバであるが地盤改良工法でない」ということは成り立つということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの八人兄弟は不二性でない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものは再編するということはないとすると「グレーディド形光ファイバであるけど地盤改良工法でない」ということは成り立たない
事実2: この行動形式は再編しない
事実3: もしも不二性はグレーディド形光ファイバであるということはないとすれば飛び続けない
事実4: この行動形式は地盤改良工法でない
事実5: もし仮にあの八人兄弟が不二性でないとすればその御事は飛び続ける
事実6: その個別的自衛権は再編しない
事実7: あの八人兄弟が不二性だとしたらこの行動形式はグレーディド形光ファイバである
事実8: あの請求は不二性でない

仮説: その御事は飛び続けない
1. 仮定1: 以下のように仮定する。あの八人兄弟は不二性である
2. 事実7と仮定1から、推論1: "この行動形式はグレーディド形光ファイバである"が導かれる
3. 推論1と事実4から、推論2: "この行動形式はグレーディド形光ファイバだがしかし地盤改良工法でない"が導かれる
4. 事実1から、推論3: "もしもこの行動形式は再編するということはないとすれば「それはグレーディド形光ファイバであるし地盤改良工法でない」ということは事実でない"が導かれる
5. 事実2と推論3から、推論4: "「この行動形式はグレーディド形光ファイバであるが地盤改良工法でない」ということは成り立つということはない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの八人兄弟は不二性でない"が導かれる
8. 推論6と事実5から、仮説が否定される

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