このボイドは引き付けない
fact1: もし仮に何かは困窮するかもしくは登記するかあるいは両方であるなら定着しない fact2: このボイドが登記するならそれは引き付けない fact3: このボイドは見破らない fact4: 「「行い易いしまた挟撃する」ということは間違いな」ものがあるとすればこのボイドは引き付けない fact5: 遣り難いものは引き付けるということはない fact6: 「この大蝙蝠が際立つしその上思い定める」ということは成り立たない fact7: このボイドは引き付けるかまたは選択し易い fact8: あの鹿島機は遣り難いかまたはそれは選択し易いかもしくは両方ともであるならばそれは行い易いない fact9: 仮になにかは定着しないとすると「それは選択し易くない一方で遣り難い」ということは間違っている fact10: このボイドは行い易い fact11: 仮になにかは整理統合するとすれば電磁的記録でない fact12: 「この大蝙蝠は選択し易くておまけに現われ難い」ということは間違いである fact13: 仮にあの鹿島機は引き付けるかそれは行い易いかあるいは両方ともであるとすればそれは遣り難くない fact14: あの鹿島機は定着するかまたは挟撃するかあるいは両方ともだ fact15: 仮にあるものがＴＶキャプチャカードでないとすればあの鹿島機は引き付けない fact16: もしこの大蝙蝠は行い易いなら「あの鹿島機は登記しない」ということは確かである fact17: あの鹿島機は行い易くないとすると「登記するしその上それは困窮する」ということは成り立たない fact18: この四十二図は登記する fact19: 仮にあるものはＴＶキャプチャカードでないとすれば「それは行い易いし挟撃する」ということは成り立たない fact20: もし仮に「この大蝙蝠は選択し易くない一方で遣り難い」ということは成り立たないならばあの鹿島機はＴＶキャプチャカードでない fact21: もし仮にとあるものが困窮するとすると引き付ける fact22: 「あの鹿島機は行い易いししかも定着する」ということは誤りだ fact23: 仮に「あの鹿島機は困窮しないけどそれは行い易い」ということは成り立つということはないとすればあの大蝙蝠は選択し易くない fact24: この大蝙蝠は登記する fact25: もしこの大蝙蝠が引き付けるとするとこのボイドは遣り難くない fact26: このボイドは及び難いということはない
fact24 -> int1: この大蝙蝠は困窮するかそれは登記するかもしくはどちらもだ; fact1 -> int2: この大蝙蝠は困窮するかまたは登記するかどちらもであるとすれば定着しない; int1 & int2 -> int3: この大蝙蝠は定着しない; fact9 -> int4: 仮に「この大蝙蝠は定着しない」ということは成り立てば「選択し易いということはないけど遣り難い」ということは成り立たない; int3 & int4 -> int5: 「この大蝙蝠は選択し易くないが遣り難い」ということは嘘だ; int5 & fact20 -> int6: 「あの鹿島機はＴＶキャプチャカードでない」ということは偽でない; fact19 -> int7: 仮にあの鹿島機はＴＶキャプチャカードでないならば「それは行い易いしかつ挟撃する」ということは成り立たない; int6 & int7 -> int8: 「あの鹿島機は行い易くてさらにそれは挟撃する」ということは成り立たない; int8 -> int9: 「「行い易いししかも挟撃する」ということは嘘である」物はある; int9 & fact4 -> hypothesis;
このボイドは引き付ける
fact27 -> int10: もし仮にこのボイドが困窮するとしたらそれは引き付ける;
$facts$ = fact1: もし仮に何かは困窮するかもしくは登記するかあるいは両方であるなら定着しない fact2: このボイドが登記するならそれは引き付けない fact3: このボイドは見破らない fact4: 「「行い易いしまた挟撃する」ということは間違いな」ものがあるとすればこのボイドは引き付けない fact5: 遣り難いものは引き付けるということはない fact6: 「この大蝙蝠が際立つしその上思い定める」ということは成り立たない fact7: このボイドは引き付けるかまたは選択し易い fact8: あの鹿島機は遣り難いかまたはそれは選択し易いかもしくは両方ともであるならばそれは行い易いない fact9: 仮になにかは定着しないとすると「それは選択し易くない一方で遣り難い」ということは間違っている fact10: このボイドは行い易い fact11: 仮になにかは整理統合するとすれば電磁的記録でない fact12: 「この大蝙蝠は選択し易くておまけに現われ難い」ということは間違いである fact13: 仮にあの鹿島機は引き付けるかそれは行い易いかあるいは両方ともであるとすればそれは遣り難くない fact14: あの鹿島機は定着するかまたは挟撃するかあるいは両方ともだ fact15: 仮にあるものがＴＶキャプチャカードでないとすればあの鹿島機は引き付けない fact16: もしこの大蝙蝠は行い易いなら「あの鹿島機は登記しない」ということは確かである fact17: あの鹿島機は行い易くないとすると「登記するしその上それは困窮する」ということは成り立たない fact18: この四十二図は登記する fact19: 仮にあるものはＴＶキャプチャカードでないとすれば「それは行い易いし挟撃する」ということは成り立たない fact20: もし仮に「この大蝙蝠は選択し易くない一方で遣り難い」ということは成り立たないならばあの鹿島機はＴＶキャプチャカードでない fact21: もし仮にとあるものが困窮するとすると引き付ける fact22: 「あの鹿島機は行い易いししかも定着する」ということは誤りだ fact23: 仮に「あの鹿島機は困窮しないけどそれは行い易い」ということは成り立つということはないとすればあの大蝙蝠は選択し易くない fact24: この大蝙蝠は登記する fact25: もしこの大蝙蝠が引き付けるとするとこのボイドは遣り難くない fact26: このボイドは及び難いということはない ; $hypothesis$ = このボイドは引き付けない ; $proof$ = 
fact24 -> int1: この大蝙蝠は困窮するかそれは登記するかもしくはどちらもだ; fact1 -> int2: この大蝙蝠は困窮するかまたは登記するかどちらもであるとすれば定着しない; int1 & int2 -> int3: この大蝙蝠は定着しない; fact9 -> int4: 仮に「この大蝙蝠は定着しない」ということは成り立てば「選択し易いということはないけど遣り難い」ということは成り立たない; int3 & int4 -> int5: 「この大蝙蝠は選択し易くないが遣り難い」ということは嘘だ; int5 & fact20 -> int6: 「あの鹿島機はＴＶキャプチャカードでない」ということは偽でない; fact19 -> int7: 仮にあの鹿島機はＴＶキャプチャカードでないならば「それは行い易いしかつ挟撃する」ということは成り立たない; int6 & int7 -> int8: 「あの鹿島機は行い易くてさらにそれは挟撃する」ということは成り立たない; int8 -> int9: 「「行い易いししかも挟撃する」ということは嘘である」物はある; int9 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に何かは困窮するかもしくは登記するかあるいは両方であるなら定着しない
事実2: このボイドが登記するならそれは引き付けない
事実3: このボイドは見破らない
事実4: 「「行い易いしまた挟撃する」ということは間違いな」ものがあるとすればこのボイドは引き付けない
事実5: 遣り難いものは引き付けるということはない
事実6: 「この大蝙蝠が際立つしその上思い定める」ということは成り立たない
事実7: このボイドは引き付けるかまたは選択し易い
事実8: あの鹿島機は遣り難いかまたはそれは選択し易いかもしくは両方ともであるならばそれは行い易いない
事実9: 仮になにかは定着しないとすると「それは選択し易くない一方で遣り難い」ということは間違っている
事実10: このボイドは行い易い
事実11: 仮になにかは整理統合するとすれば電磁的記録でない
事実12: 「この大蝙蝠は選択し易くておまけに現われ難い」ということは間違いである
事実13: 仮にあの鹿島機は引き付けるかそれは行い易いかあるいは両方ともであるとすればそれは遣り難くない
事実14: あの鹿島機は定着するかまたは挟撃するかあるいは両方ともだ
事実15: 仮にあるものがＴＶキャプチャカードでないとすればあの鹿島機は引き付けない
事実16: もしこの大蝙蝠は行い易いなら「あの鹿島機は登記しない」ということは確かである
事実17: あの鹿島機は行い易くないとすると「登記するしその上それは困窮する」ということは成り立たない
事実18: この四十二図は登記する
事実19: 仮にあるものはＴＶキャプチャカードでないとすれば「それは行い易いし挟撃する」ということは成り立たない
事実20: もし仮に「この大蝙蝠は選択し易くない一方で遣り難い」ということは成り立たないならばあの鹿島機はＴＶキャプチャカードでない
事実21: もし仮にとあるものが困窮するとすると引き付ける
事実22: 「あの鹿島機は行い易いししかも定着する」ということは誤りだ
事実23: 仮に「あの鹿島機は困窮しないけどそれは行い易い」ということは成り立つということはないとすればあの大蝙蝠は選択し易くない
事実24: この大蝙蝠は登記する
事実25: もしこの大蝙蝠が引き付けるとするとこのボイドは遣り難くない
事実26: このボイドは及び難いということはない

仮説: このボイドは引き付けない
1. 事実24から、推論1: "この大蝙蝠は困窮するかそれは登記するかもしくはどちらもだ"が導かれる
2. 事実1から、推論2: "この大蝙蝠は困窮するかまたは登記するかどちらもであるとすれば定着しない"が導かれる
3. 推論1と推論2から、推論3: "この大蝙蝠は定着しない"が導かれる
4. 事実9から、推論4: "仮に「この大蝙蝠は定着しない」ということは成り立てば「選択し易いということはないけど遣り難い」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "「この大蝙蝠は選択し易くないが遣り難い」ということは嘘だ"が導かれる
6. 推論5と事実20から、推論6: "「あの鹿島機はＴＶキャプチャカードでない」ということは偽でない"が導かれる
7. 事実19から、推論7: "仮にあの鹿島機はＴＶキャプチャカードでないならば「それは行い易いしかつ挟撃する」ということは成り立たない"が導かれる
8. 推論6と推論7から、推論8: "「あの鹿島機は行い易くてさらにそれは挟撃する」ということは成り立たない"が導かれる
9. 推論8から、推論9: "「「行い易いししかも挟撃する」ということは嘘である」物はある"が導かれる
10. 推論9と事実4から、仮説が導かれる

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