その労働保険事務は俎板だが出し易くない
fact1: もし何かは刈り入れないなら俎板であるし加えて額間だ fact2: もし仮になんらかの物は額間であるとすれば「俎板だけど出し易くない」ということは偽である fact3: もしとある物は俎板だとすれば「出し易くないけれどジェイニーだ」ということは本当でない fact4: 揺るぎなくなくて更に冷め難くない物はない fact5: 臭いということはないものは額間であるし更に刈り入れる fact6: もし仮になにがしかの物は折畳み椅子でないならば臭くない fact7: もし仮にその労働保険事務は米価安だとすると「それは折畳み椅子でない一方で提案力だ」ということは確かである fact8: もしもあの反政府武装勢力は俎板であるとすると「揺るぎなくなくて冷め難くない」ということは確かだ fact9: もし仮にあの反政府武装勢力が俎板だということはないとしたらその労働保険事務は俎板だけれど出し易くない
void -> assump1: 以下のように仮定する。あの反政府武装勢力は俎板である; fact8 & assump1 -> int1: あの反政府武装勢力は揺るぎないということはなくて冷め難くない; fact4 -> int2: 「あの反政府武装勢力は揺るぎなくないし冷め難くない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの反政府武装勢力は俎板でない; int4 & fact9 -> hypothesis;
「あの反政府武装勢力はジェイニーでない」ということは真実だ
fact10 -> int5: もしもその労働保険事務は俎板ならば「「出し易いということはないけどジェイニーである」ということは確かである」ということは真実でない; fact11 -> int6: 仮に「その労働保険事務は刈り入れるということはない」ということは正しいならば俎板であるし額間だ;
$facts$ = fact1: もし何かは刈り入れないなら俎板であるし加えて額間だ fact2: もし仮になんらかの物は額間であるとすれば「俎板だけど出し易くない」ということは偽である fact3: もしとある物は俎板だとすれば「出し易くないけれどジェイニーだ」ということは本当でない fact4: 揺るぎなくなくて更に冷め難くない物はない fact5: 臭いということはないものは額間であるし更に刈り入れる fact6: もし仮になにがしかの物は折畳み椅子でないならば臭くない fact7: もし仮にその労働保険事務は米価安だとすると「それは折畳み椅子でない一方で提案力だ」ということは確かである fact8: もしもあの反政府武装勢力は俎板であるとすると「揺るぎなくなくて冷め難くない」ということは確かだ fact9: もし仮にあの反政府武装勢力が俎板だということはないとしたらその労働保険事務は俎板だけれど出し易くない ; $hypothesis$ = その労働保険事務は俎板だが出し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの反政府武装勢力は俎板である; fact8 & assump1 -> int1: あの反政府武装勢力は揺るぎないということはなくて冷め難くない; fact4 -> int2: 「あの反政府武装勢力は揺るぎなくないし冷め難くない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの反政府武装勢力は俎板でない; int4 & fact9 -> hypothesis; __PROVED__
事実1: もし何かは刈り入れないなら俎板であるし加えて額間だ
事実2: もし仮になんらかの物は額間であるとすれば「俎板だけど出し易くない」ということは偽である
事実3: もしとある物は俎板だとすれば「出し易くないけれどジェイニーだ」ということは本当でない
事実4: 揺るぎなくなくて更に冷め難くない物はない
事実5: 臭いということはないものは額間であるし更に刈り入れる
事実6: もし仮になにがしかの物は折畳み椅子でないならば臭くない
事実7: もし仮にその労働保険事務は米価安だとすると「それは折畳み椅子でない一方で提案力だ」ということは確かである
事実8: もしもあの反政府武装勢力は俎板であるとすると「揺るぎなくなくて冷め難くない」ということは確かだ
事実9: もし仮にあの反政府武装勢力が俎板だということはないとしたらその労働保険事務は俎板だけれど出し易くない

仮説: その労働保険事務は俎板だが出し易くない
1. 仮定1: 以下のように仮定する。あの反政府武装勢力は俎板である
2. 事実8と仮定1から、推論1: "あの反政府武装勢力は揺るぎないということはなくて冷め難くない"が導かれる
3. 事実4から、推論2: "「あの反政府武装勢力は揺るぎなくないし冷め難くない」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの反政府武装勢力は俎板でない"が導かれる
6. 推論4と事実9から、仮説が導かれる

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