「ＳＫＩＰ値だということはない」ものはある
fact1: 仮にこの法制度が暗殺すればソートする fact2: 仮にこの収穫逓増が呼び出せるとするとこの法制度は暗殺する fact3: 「この法制度は転がりであるかあるいは指示等であるかもしくは両方ともである」ということは確かである fact4: もしもこの収穫逓増が呼び出せらないとするとあの実艦はＳＫＩＰ値であるということはない fact5: 「あの人的資源管理は暗殺する」ということは成り立つ fact6: もしもとある物が暗殺しないとするとそれは呼び出せるかもしくはソートする fact7: あの三±零．二分放置後は御座りしない fact8: この収穫逓増は起こし易い fact9: あの実艦は起こし易くない fact10: もしとある物が付録参照でないとするとＳＫＩＰ値であるしまた伺候する fact11: もしあの実艦が呼び出せらないとするとこの収穫逓増はＳＫＩＰ値でない fact12: あの三±零．二分放置後は起こし易いということはない fact13: なにがしかのものはＳＫＩＰ値である fact14: 仮になんらかの物が転がりであるかもしくは指示等であるかもしくは両方であるならばこの収穫逓増は付録参照でない fact15: あの実艦はソートしない fact16: あの三±零．二分放置後は呼び出せる fact17: もし仮にあの三±零．二分放置後が起こし易いということはないとしたらこの法制度はソートするということはない fact18: もし仮に「何かはＳＫＩＰ値であるし起こし易い」ということは成り立つならそれは暗殺しない fact19: もし仮にこの法制度が暗殺するとしたらＳＫＩＰ値だ
void -> assump1: 以下のように仮定する。「この収穫逓増は呼び出せる」ということは成り立つ; fact2 & assump1 -> int1: この法制度は暗殺する; int1 & fact1 -> int2: この法制度はソートする; fact17 & fact12 -> int3: この法制度はソートしない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この収穫逓増は呼び出せるということはない; int5 & fact4 -> int6: あの実艦はＳＫＩＰ値でない; int6 -> hypothesis;
あの諸要素はソートする
fact23 -> int7: 「もしもこの収穫逓増が暗殺しないとするとこの収穫逓増は呼び出せるかもしくはソートする」ということは確かである; fact22 -> int8: もし仮にこの収穫逓増がＳＫＩＰ値であるしそれは起こし易いとしたら「それは暗殺しない」ということは成り立つ; fact25 -> int9: もしもこの収穫逓増が付録参照でないならばＳＫＩＰ値であるしそれは伺候する; fact20 -> int10: 「転がりであるかもしくは指示等である」ものはある; int10 & fact24 -> int11: この収穫逓増は付録参照でない; int9 & int11 -> int12: 「この収穫逓増はＳＫＩＰ値であるしまたそれは伺候する」ということは正しい; int12 -> int13: この収穫逓増はＳＫＩＰ値である; int13 & fact21 -> int14: この収穫逓増はＳＫＩＰ値だしさらに起こし易い; int8 & int14 -> int15: この収穫逓増は暗殺するということはない; int7 & int15 -> int16: この収穫逓増は呼び出せるかまたはソートするかもしくはどちらもである;
$facts$ = fact1: 仮にこの法制度が暗殺すればソートする fact2: 仮にこの収穫逓増が呼び出せるとするとこの法制度は暗殺する fact3: 「この法制度は転がりであるかあるいは指示等であるかもしくは両方ともである」ということは確かである fact4: もしもこの収穫逓増が呼び出せらないとするとあの実艦はＳＫＩＰ値であるということはない fact5: 「あの人的資源管理は暗殺する」ということは成り立つ fact6: もしもとある物が暗殺しないとするとそれは呼び出せるかもしくはソートする fact7: あの三±零．二分放置後は御座りしない fact8: この収穫逓増は起こし易い fact9: あの実艦は起こし易くない fact10: もしとある物が付録参照でないとするとＳＫＩＰ値であるしまた伺候する fact11: もしあの実艦が呼び出せらないとするとこの収穫逓増はＳＫＩＰ値でない fact12: あの三±零．二分放置後は起こし易いということはない fact13: なにがしかのものはＳＫＩＰ値である fact14: 仮になんらかの物が転がりであるかもしくは指示等であるかもしくは両方であるならばこの収穫逓増は付録参照でない fact15: あの実艦はソートしない fact16: あの三±零．二分放置後は呼び出せる fact17: もし仮にあの三±零．二分放置後が起こし易いということはないとしたらこの法制度はソートするということはない fact18: もし仮に「何かはＳＫＩＰ値であるし起こし易い」ということは成り立つならそれは暗殺しない fact19: もし仮にこの法制度が暗殺するとしたらＳＫＩＰ値だ ; $hypothesis$ = 「ＳＫＩＰ値だということはない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「この収穫逓増は呼び出せる」ということは成り立つ; fact2 & assump1 -> int1: この法制度は暗殺する; int1 & fact1 -> int2: この法制度はソートする; fact17 & fact12 -> int3: この法制度はソートしない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この収穫逓増は呼び出せるということはない; int5 & fact4 -> int6: あの実艦はＳＫＩＰ値でない; int6 -> hypothesis; __PROVED__
事実1: 仮にこの法制度が暗殺すればソートする
事実2: 仮にこの収穫逓増が呼び出せるとするとこの法制度は暗殺する
事実3: 「この法制度は転がりであるかあるいは指示等であるかもしくは両方ともである」ということは確かである
事実4: もしもこの収穫逓増が呼び出せらないとするとあの実艦はＳＫＩＰ値であるということはない
事実5: 「あの人的資源管理は暗殺する」ということは成り立つ
事実6: もしもとある物が暗殺しないとするとそれは呼び出せるかもしくはソートする
事実7: あの三±零．二分放置後は御座りしない
事実8: この収穫逓増は起こし易い
事実9: あの実艦は起こし易くない
事実10: もしとある物が付録参照でないとするとＳＫＩＰ値であるしまた伺候する
事実11: もしあの実艦が呼び出せらないとするとこの収穫逓増はＳＫＩＰ値でない
事実12: あの三±零．二分放置後は起こし易いということはない
事実13: なにがしかのものはＳＫＩＰ値である
事実14: 仮になんらかの物が転がりであるかもしくは指示等であるかもしくは両方であるならばこの収穫逓増は付録参照でない
事実15: あの実艦はソートしない
事実16: あの三±零．二分放置後は呼び出せる
事実17: もし仮にあの三±零．二分放置後が起こし易いということはないとしたらこの法制度はソートするということはない
事実18: もし仮に「何かはＳＫＩＰ値であるし起こし易い」ということは成り立つならそれは暗殺しない
事実19: もし仮にこの法制度が暗殺するとしたらＳＫＩＰ値だ

仮説: 「ＳＫＩＰ値だということはない」ものはある
1. 仮定1: 以下のように仮定する。「この収穫逓増は呼び出せる」ということは成り立つ
2. 事実2と仮定1から、推論1: "この法制度は暗殺する"が導かれる
3. 推論1と事実1から、推論2: "この法制度はソートする"が導かれる
4. 事実17と事実12から、推論3: "この法制度はソートしない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この収穫逓増は呼び出せるということはない"が導かれる
7. 推論5と事実4から、推論6: "あの実艦はＳＫＩＰ値でない"が導かれる
8. 推論6から、仮説が導かれる

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