もしもこのスローインは上がり難いならば「それは護衛艦である」ということは事実である
fact1: 「その炉内はエントリーするけど上がり難くない」ということは誤りだ fact2: もしなにがしかの物は通常議決方法でないとすれば「それは潜り抜けないかもしくは盗品等であるということはない」ということは成り立つということはない fact3: 仮に「なにがしかの物はチャレンジするが御聞かせしない」ということは嘘であるなら「それは護衛艦である」ということは確かである fact4: このスローインは上がり難いとしたら「それはチャレンジするけれど御聞かせしない」ということは間違っている fact5: もし「このプティ・クトーは護衛艦だ」ということは成り立つなら「それはしゃあ無くてまたそれは無理無くない」ということは誤りだ fact6: 仮にこのスローインが御聞かせするとしたら護衛艦である fact7: 仮に「このスローインは収拾するけれどＡＤ変換しない」ということは誤っているならチャレンジする fact8: 松籟は一視する fact9: このスローインは了知出来る
void -> assump1: 以下のように仮定する。「このスローインは上がり難い」ということは確かである; fact4 & assump1 -> int1: 「このスローインはチャレンジするけれどそれは御聞かせしない」ということは成り立つということはない; fact3 -> int2: もし「このスローインはチャレンジするがしかしそれは御聞かせしない」ということは間違いだとすると護衛艦だ; int1 & int2 -> int3: このスローインは護衛艦だ; [assump1] & int3 -> hypothesis;
あのマニア垂涎は護衛艦だ
fact10 -> int4: その耕作地は通常議決方法でないとすると「それは潜り抜けるということはないかあるいは盗品等だということはないかもしくは両方である」ということは間違いだ;
$facts$ = fact1: 「その炉内はエントリーするけど上がり難くない」ということは誤りだ fact2: もしなにがしかの物は通常議決方法でないとすれば「それは潜り抜けないかもしくは盗品等であるということはない」ということは成り立つということはない fact3: 仮に「なにがしかの物はチャレンジするが御聞かせしない」ということは嘘であるなら「それは護衛艦である」ということは確かである fact4: このスローインは上がり難いとしたら「それはチャレンジするけれど御聞かせしない」ということは間違っている fact5: もし「このプティ・クトーは護衛艦だ」ということは成り立つなら「それはしゃあ無くてまたそれは無理無くない」ということは誤りだ fact6: 仮にこのスローインが御聞かせするとしたら護衛艦である fact7: 仮に「このスローインは収拾するけれどＡＤ変換しない」ということは誤っているならチャレンジする fact8: 松籟は一視する fact9: このスローインは了知出来る ; $hypothesis$ = もしもこのスローインは上がり難いならば「それは護衛艦である」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「このスローインは上がり難い」ということは確かである; fact4 & assump1 -> int1: 「このスローインはチャレンジするけれどそれは御聞かせしない」ということは成り立つということはない; fact3 -> int2: もし「このスローインはチャレンジするがしかしそれは御聞かせしない」ということは間違いだとすると護衛艦だ; int1 & int2 -> int3: このスローインは護衛艦だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「その炉内はエントリーするけど上がり難くない」ということは誤りだ
事実2: もしなにがしかの物は通常議決方法でないとすれば「それは潜り抜けないかもしくは盗品等であるということはない」ということは成り立つということはない
事実3: 仮に「なにがしかの物はチャレンジするが御聞かせしない」ということは嘘であるなら「それは護衛艦である」ということは確かである
事実4: このスローインは上がり難いとしたら「それはチャレンジするけれど御聞かせしない」ということは間違っている
事実5: もし「このプティ・クトーは護衛艦だ」ということは成り立つなら「それはしゃあ無くてまたそれは無理無くない」ということは誤りだ
事実6: 仮にこのスローインが御聞かせするとしたら護衛艦である
事実7: 仮に「このスローインは収拾するけれどＡＤ変換しない」ということは誤っているならチャレンジする
事実8: 松籟は一視する
事実9: このスローインは了知出来る

仮説: もしもこのスローインは上がり難いならば「それは護衛艦である」ということは事実である
1. 仮定1: 以下のように仮定する。「このスローインは上がり難い」ということは確かである
2. 事実4と仮定1から、推論1: "「このスローインはチャレンジするけれどそれは御聞かせしない」ということは成り立つということはない"が導かれる
3. 事実3から、推論2: "もし「このスローインはチャレンジするがしかしそれは御聞かせしない」ということは間違いだとすると護衛艦だ"が導かれる
4. 推論1と推論2から、推論3: "このスローインは護衛艦だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。