あの丙午は凛々しい
fact1: 「この二倍速は得られ難い」ということは確かである fact2: もしこの二倍速が得られ難くてまたそれが危惧するならばあの丙午は凛々しくない fact3: あのＵボートは危惧するしそれに仕舞い込む fact4: もしなにがしかの物が得られ難いなら凛々しい fact5: このマーブルは危惧する fact6: この二倍速は情報コストである fact7: 仮にあの丙午が得られ難くてまた危惧するとしたらこの二倍速は凛々しくない fact8: 仮に「とある物は得られ難くないしおまけに招き易くない」ということは成り立たないとすれば得られ難い fact9: この二倍速は危惧する fact10: もしも「「あの丙午は申し入れ書でないかまたはそれは比例するかあるいは両方ともだ」ということは成り立つ」ということは成り立たないなら危惧する
fact1 & fact9 -> int1: この二倍速は得られ難いしその上危惧する; int1 & fact2 -> hypothesis;
あの丙午は凛々しい
fact13 -> int2: もしもあの丙午が得られ難いなら凛々しい; fact12 -> int3: もし「あの丙午は得られ難くないししかも招き易くない」ということは嘘であるなら得られ難い;
$facts$ = fact1: 「この二倍速は得られ難い」ということは確かである fact2: もしこの二倍速が得られ難くてまたそれが危惧するならばあの丙午は凛々しくない fact3: あのＵボートは危惧するしそれに仕舞い込む fact4: もしなにがしかの物が得られ難いなら凛々しい fact5: このマーブルは危惧する fact6: この二倍速は情報コストである fact7: 仮にあの丙午が得られ難くてまた危惧するとしたらこの二倍速は凛々しくない fact8: 仮に「とある物は得られ難くないしおまけに招き易くない」ということは成り立たないとすれば得られ難い fact9: この二倍速は危惧する fact10: もしも「「あの丙午は申し入れ書でないかまたはそれは比例するかあるいは両方ともだ」ということは成り立つ」ということは成り立たないなら危惧する ; $hypothesis$ = あの丙午は凛々しい ; $proof$ = 
fact1 & fact9 -> int1: この二倍速は得られ難いしその上危惧する; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この二倍速は得られ難い」ということは確かである
事実2: もしこの二倍速が得られ難くてまたそれが危惧するならばあの丙午は凛々しくない
事実3: あのＵボートは危惧するしそれに仕舞い込む
事実4: もしなにがしかの物が得られ難いなら凛々しい
事実5: このマーブルは危惧する
事実6: この二倍速は情報コストである
事実7: 仮にあの丙午が得られ難くてまた危惧するとしたらこの二倍速は凛々しくない
事実8: 仮に「とある物は得られ難くないしおまけに招き易くない」ということは成り立たないとすれば得られ難い
事実9: この二倍速は危惧する
事実10: もしも「「あの丙午は申し入れ書でないかまたはそれは比例するかあるいは両方ともだ」ということは成り立つ」ということは成り立たないなら危惧する

仮説: あの丙午は凛々しい
1. 事実1と事実9から、推論1: "この二倍速は得られ難いしその上危惧する"が導かれる
2. 推論1と事実2から、仮説が否定される

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