この北朝鮮軍は生え易くないしさらに打ち難くない
fact1: もし「この斃牛馬処理権は帰着しないし生え易くない」ということは誤りならば「それは吸引出来ない」ということは成り立つ fact2: 尊くないしそれに長々しい物は目まぐるしい fact3: あの鹿屋空は召し上がれる fact4: この北朝鮮軍は召し上がれる fact5: 「この北朝鮮軍は生え易くないしかつ打ち難くない」ということは成り立つということはないならば召し上がれない fact6: もしもとあるものは目まぐるしかないとしたら「それは生え易くないし打ち難いということはない」ということは誤っている fact7: 「この北朝鮮軍は生え易いということはないけれど打ち難い」ということは間違いである
void -> assump1: 以下のように仮定する。「この北朝鮮軍は生え易いということはなくてそれは打ち難くない」ということは成り立たない; fact5 & assump1 -> int1: この北朝鮮軍は召し上がれるということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
このＣＳＩが召し上はれないし更にそれは狭くない
fact8 -> int3: もしこのＣＳＩは尊くないがしかし長々しいならば目まぐるしい;
$facts$ = fact1: もし「この斃牛馬処理権は帰着しないし生え易くない」ということは誤りならば「それは吸引出来ない」ということは成り立つ fact2: 尊くないしそれに長々しい物は目まぐるしい fact3: あの鹿屋空は召し上がれる fact4: この北朝鮮軍は召し上がれる fact5: 「この北朝鮮軍は生え易くないしかつ打ち難くない」ということは成り立つということはないならば召し上がれない fact6: もしもとあるものは目まぐるしかないとしたら「それは生え易くないし打ち難いということはない」ということは誤っている fact7: 「この北朝鮮軍は生え易いということはないけれど打ち難い」ということは間違いである ; $hypothesis$ = この北朝鮮軍は生え易くないしさらに打ち難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この北朝鮮軍は生え易いということはなくてそれは打ち難くない」ということは成り立たない; fact5 & assump1 -> int1: この北朝鮮軍は召し上がれるということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし「この斃牛馬処理権は帰着しないし生え易くない」ということは誤りならば「それは吸引出来ない」ということは成り立つ
事実2: 尊くないしそれに長々しい物は目まぐるしい
事実3: あの鹿屋空は召し上がれる
事実4: この北朝鮮軍は召し上がれる
事実5: 「この北朝鮮軍は生え易くないしかつ打ち難くない」ということは成り立つということはないならば召し上がれない
事実6: もしもとあるものは目まぐるしかないとしたら「それは生え易くないし打ち難いということはない」ということは誤っている
事実7: 「この北朝鮮軍は生え易いということはないけれど打ち難い」ということは間違いである

仮説: この北朝鮮軍は生え易くないしさらに打ち難くない
1. 仮定1: 以下のように仮定する。「この北朝鮮軍は生え易いということはなくてそれは打ち難くない」ということは成り立たない
2. 事実5と仮定1から、推論1: "この北朝鮮軍は召し上がれるということはない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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