あの削除は得難くない
fact1: もし仮にあの削除は諸変数間でないならば「それは別紙改正要領であるかもしくは入営しない」ということは正しい fact2: もしも「あの削除は別紙改正要領だけど入営しない」ということは成り立たないならばセル範囲でない fact3: 仮にあるものは得難いということはないとすれば「それはセル範囲でなくておまけにリキャップでない」ということは成り立つということはない fact4: あの削除はリキャップでない fact5: 「あの削除は別紙改正要領であるけど入営するということはない」ということは成り立たない
fact3 -> int1: もし仮にあの削除は得難くないとしたら「それはセル範囲でなくてリキャップでない」ということは成り立たない; void -> assump1: 以下のように仮定する。あの削除は得難くない; int1 & assump1 -> int2: 「あの削除はセル範囲であるということはなくてそれにそれはリキャップでない」ということは誤っている; fact2 & fact5 -> int3: あの削除はセル範囲でない; int3 & fact4 -> int4: あの削除はセル範囲でないしまたリキャップでない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの削除は得難くない
$facts$ = fact1: もし仮にあの削除は諸変数間でないならば「それは別紙改正要領であるかもしくは入営しない」ということは正しい fact2: もしも「あの削除は別紙改正要領だけど入営しない」ということは成り立たないならばセル範囲でない fact3: 仮にあるものは得難いということはないとすれば「それはセル範囲でなくておまけにリキャップでない」ということは成り立つということはない fact4: あの削除はリキャップでない fact5: 「あの削除は別紙改正要領であるけど入営するということはない」ということは成り立たない ; $hypothesis$ = あの削除は得難くない ; $proof$ = 
fact3 -> int1: もし仮にあの削除は得難くないとしたら「それはセル範囲でなくてリキャップでない」ということは成り立たない; void -> assump1: 以下のように仮定する。あの削除は得難くない; int1 & assump1 -> int2: 「あの削除はセル範囲であるということはなくてそれにそれはリキャップでない」ということは誤っている; fact2 & fact5 -> int3: あの削除はセル範囲でない; int3 & fact4 -> int4: あの削除はセル範囲でないしまたリキャップでない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの削除は諸変数間でないならば「それは別紙改正要領であるかもしくは入営しない」ということは正しい
事実2: もしも「あの削除は別紙改正要領だけど入営しない」ということは成り立たないならばセル範囲でない
事実3: 仮にあるものは得難いということはないとすれば「それはセル範囲でなくておまけにリキャップでない」ということは成り立つということはない
事実4: あの削除はリキャップでない
事実5: 「あの削除は別紙改正要領であるけど入営するということはない」ということは成り立たない

仮説: あの削除は得難くない
1. 事実3から、推論1: "もし仮にあの削除は得難くないとしたら「それはセル範囲でなくてリキャップでない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あの削除は得難くない
3. 推論1と仮定1から、推論2: "「あの削除はセル範囲であるということはなくてそれにそれはリキャップでない」ということは誤っている"が導かれる
4. 事実2と事実5から、推論3: "あの削除はセル範囲でない"が導かれる
5. 推論3と事実4から、推論4: "あの削除はセル範囲でないしまたリキャップでない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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