その見極めは屈伏しない
fact1: 「五言詩註本な」ものがあればその見極めは屈伏する fact2: もしその島嶼民は五言詩註本でないとしたら「その江戸城は屈伏するけれどそれは垂直移動しない」ということは嘘だ fact3: その見極めは田皮・田骨である fact4: その霊的宇宙は五言詩註本だ
fact4 -> int1: 五言詩註本はある; int1 & fact1 -> hypothesis;
その見極めは屈伏しない
$facts$ = fact1: 「五言詩註本な」ものがあればその見極めは屈伏する fact2: もしその島嶼民は五言詩註本でないとしたら「その江戸城は屈伏するけれどそれは垂直移動しない」ということは嘘だ fact3: その見極めは田皮・田骨である fact4: その霊的宇宙は五言詩註本だ ; $hypothesis$ = その見極めは屈伏しない ; $proof$ = 
fact4 -> int1: 五言詩註本はある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「五言詩註本な」ものがあればその見極めは屈伏する
事実2: もしその島嶼民は五言詩註本でないとしたら「その江戸城は屈伏するけれどそれは垂直移動しない」ということは嘘だ
事実3: その見極めは田皮・田骨である
事実4: その霊的宇宙は五言詩註本だ

仮説: その見極めは屈伏しない
1. 事実4から、推論1: "五言詩註本はある"が導かれる
2. 推論1と事実1から、仮説が否定される

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