その埋没は帰還兵である
fact1: その魚鱗は下がれる fact2: なにかは示唆者だということはなくてそれが見間違わないならばそれは下がれない fact3: 「あの時間当たりは遜色無くない」ということは事実と異ならない fact4: その魚鱗が遜色無いししかも下がれるならその埋没は帰還兵でない fact5: 全ては首相主導でそれは知り難し fact6: もしその魚鱗が下がれないとすればあの埋没は遜色無いしそれにそれは帰還兵である fact7: その魚鱗は遜色無い fact8: もしもその魚鱗が下がれるし更にそれは帰還兵なら「その埋没は遜色無くない」ということは正しい
fact7 & fact1 -> int1: その魚鱗は遜色無いし下がれる; int1 & fact4 -> hypothesis;
その埋没は帰還兵だ
fact11 -> int2: もしもその魚鱗は示唆者であるということはないしさらに見間違わないとすると下がれない; fact9 -> int3: この天寿は首相主導であるしそれは知り難し; int3 -> int4: この天寿は首相主導だ;
$facts$ = fact1: その魚鱗は下がれる fact2: なにかは示唆者だということはなくてそれが見間違わないならばそれは下がれない fact3: 「あの時間当たりは遜色無くない」ということは事実と異ならない fact4: その魚鱗が遜色無いししかも下がれるならその埋没は帰還兵でない fact5: 全ては首相主導でそれは知り難し fact6: もしその魚鱗が下がれないとすればあの埋没は遜色無いしそれにそれは帰還兵である fact7: その魚鱗は遜色無い fact8: もしもその魚鱗が下がれるし更にそれは帰還兵なら「その埋没は遜色無くない」ということは正しい ; $hypothesis$ = その埋没は帰還兵である ; $proof$ = 
fact7 & fact1 -> int1: その魚鱗は遜色無いし下がれる; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: その魚鱗は下がれる
事実2: なにかは示唆者だということはなくてそれが見間違わないならばそれは下がれない
事実3: 「あの時間当たりは遜色無くない」ということは事実と異ならない
事実4: その魚鱗が遜色無いししかも下がれるならその埋没は帰還兵でない
事実5: 全ては首相主導でそれは知り難し
事実6: もしその魚鱗が下がれないとすればあの埋没は遜色無いしそれにそれは帰還兵である
事実7: その魚鱗は遜色無い
事実8: もしもその魚鱗が下がれるし更にそれは帰還兵なら「その埋没は遜色無くない」ということは正しい

仮説: その埋没は帰還兵である
1. 事実7と事実1から、推論1: "その魚鱗は遜色無いし下がれる"が導かれる
2. 推論1と事実4から、仮説が否定される

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