あの志島古墳群は万歳しない
fact1: この保守要員は魚籠である fact2: あの志島古墳群は慈愛深い fact3: 仮に何らかのものはアジェであるならば「万歳する」ということは本当だ fact4: もしも何かは万歳するとすると魚籠である fact5: もしあのイメージコントロールサブフォルダが段取りすればそれはオートフィル機能である fact6: あの志島古墳群は魚籠である fact7: その中心施設はアジェである fact8: この不適応は魚籠である fact9: あの志島古墳群は万歳するなら「それは険しい」ということは成り立つ fact10: あの志島古墳群は聡い fact11: あの志島古墳群は魚籠ならば「それはアジェだ」ということは確かである
fact11 & fact6 -> int1: あの志島古墳群はアジェだ; fact3 -> int2: もし「あの志島古墳群はアジェだ」ということは成り立つとすると万歳する; int1 & int2 -> hypothesis;
$facts$ = fact1: この保守要員は魚籠である fact2: あの志島古墳群は慈愛深い fact3: 仮に何らかのものはアジェであるならば「万歳する」ということは本当だ fact4: もしも何かは万歳するとすると魚籠である fact5: もしあのイメージコントロールサブフォルダが段取りすればそれはオートフィル機能である fact6: あの志島古墳群は魚籠である fact7: その中心施設はアジェである fact8: この不適応は魚籠である fact9: あの志島古墳群は万歳するなら「それは険しい」ということは成り立つ fact10: あの志島古墳群は聡い fact11: あの志島古墳群は魚籠ならば「それはアジェだ」ということは確かである ; $hypothesis$ = あの志島古墳群は万歳しない ; $proof$ = 
fact11 & fact6 -> int1: あの志島古墳群はアジェだ; fact3 -> int2: もし「あの志島古墳群はアジェだ」ということは成り立つとすると万歳する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この保守要員は魚籠である
事実2: あの志島古墳群は慈愛深い
事実3: 仮に何らかのものはアジェであるならば「万歳する」ということは本当だ
事実4: もしも何かは万歳するとすると魚籠である
事実5: もしあのイメージコントロールサブフォルダが段取りすればそれはオートフィル機能である
事実6: あの志島古墳群は魚籠である
事実7: その中心施設はアジェである
事実8: この不適応は魚籠である
事実9: あの志島古墳群は万歳するなら「それは険しい」ということは成り立つ
事実10: あの志島古墳群は聡い
事実11: あの志島古墳群は魚籠ならば「それはアジェだ」ということは確かである

仮説: あの志島古墳群は万歳しない
1. 事実11と事実6から、推論1: "あの志島古墳群はアジェだ"が導かれる
2. 事実3から、推論2: "もし「あの志島古墳群はアジェだ」ということは成り立つとすると万歳する"が導かれる
3. 推論1と推論2から、仮説が否定される

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