この電気通信回線は用するということはないがしかし指摘す
fact1: 「あの村元達はあざといとしたら「その第ばあ君は探し易い一方で迷い難くない」ということは間違っている」ということは真実だ fact2: 迷い難くない物は活性だしあざとい fact3: もし「この電気通信回線は用する」ということは確かだとすると御寒い fact4: あの村元達はあざといしそれは判断し難い fact5: 「もしも「その第ばあ君は探し易くなくて迷い難くない」ということは事実と異なるとするとこの原因裁定は探し易くない」ということは真実である fact6: もし仮にこの入札件数は探し易いとすると「この電気通信回線は用しないけど甚だし」ということは間違っている fact7: 「仮にこの入札件数が甚だしならこの原因裁定は探し易い」ということは確かだ fact8: 仮に「「その正月行事は活性でないけれど髪型だ」ということは正しい」ということは間違いだとしたらこの心線対照光は活性だ fact9: その側立国は髪型でない fact10: もしもこの入札件数は活性であるとすれば探し易い fact11: 「その正月行事は活性でないけどそれは髪型である」ということは成り立たない fact12: 「その正月行事は活性である」ということは成り立てばこの心線対照光は活性だ fact13: もし「この心線対照光は活性である」ということは本当であるとすればこの電気通信回線は指摘す fact14: 「この原因裁定は探し易くなくて加えてあざとくない」ということは間違っている fact15: もし仮になんらかの物は甚だしないとすれば「それは用しないがしかし指摘す」ということは成り立たない fact16: もしもこの電気通信回線は用するとすれば「「御寒いということはないかもしくは筆写するかもしくは両方である」ということは確かだ」ということは成り立たない fact17: なにかは用するなら「それは誤信するということはないしかつそれは指摘す」ということは成り立たない fact18: もし仮に「この電気通信回線は御寒くないかまたは筆写する」ということは間違っているとするとこの入札件数は甚だし fact19: その第ばあ君が探し易いならこの原因裁定は探し易いということはない fact20: この電気通信回線は判断し難いとしたら「あの村元達は指摘す」ということは成り立つ fact21: 何かは迷い難くないか判断し難くないかもしくは両方である fact22: もし仮に「この入札件数は迷い難くないけどそれは活性である」ということは成り立つということはないとすればそれは活性でない fact23: 「「この心線対照光は活性であるし加えて筆写する」ということは成り立つ」ということは成り立たない fact24: もしあの村元達はあざといとしたら「その第ばあ君が探し易くないしさらにそれは迷い難くない」ということは成り立たない
void -> assump1: 以下のように仮定する。この電気通信回線は用する; fact16 & assump1 -> int1: 「この電気通信回線は御寒くないかまたは筆写する」ということは誤りだ; int1 & fact18 -> int2: この入札件数は甚だし; int2 & fact7 -> int3: この原因裁定は探し易い; fact4 -> int4: あの村元達はあざとい; int4 & fact24 -> int5: 「その第ばあ君は探し易くないし迷い難いということはない」ということは嘘だ; int5 & fact5 -> int6: 「この原因裁定は探し易くない」ということは成り立つ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この電気通信回線は用しない; fact8 & fact11 -> int9: この心線対照光は活性である; fact13 & int9 -> int10: この電気通信回線は指摘す; int8 & int10 -> hypothesis;
「その第ばあ君は誤信するということはないがしかし指摘す」ということは成り立たない
fact28 -> int11: もしその第ばあ君は用するとすれば「誤信するということはないがしかし指摘す」ということは事実でない; fact27 -> int12: もしこの入札件数が迷い難くないならそれは活性だし加えてそれはあざとい;
$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: もしあの村元達はあざといとしたら「その第ばあ君が探し易くないしさらにそれは迷い難くない」ということは成り立たない ; $hypothesis$ = この電気通信回線は用するということはないがしかし指摘す ; $proof$ = 
void -> assump1: 以下のように仮定する。この電気通信回線は用する; fact16 & assump1 -> int1: 「この電気通信回線は御寒くないかまたは筆写する」ということは誤りだ; int1 & fact18 -> int2: この入札件数は甚だし; int2 & fact7 -> int3: この原因裁定は探し易い; fact4 -> int4: あの村元達はあざとい; int4 & fact24 -> int5: 「その第ばあ君は探し易くないし迷い難いということはない」ということは嘘だ; int5 & fact5 -> int6: 「この原因裁定は探し易くない」ということは成り立つ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この電気通信回線は用しない; fact8 & fact11 -> int9: この心線対照光は活性である; fact13 & int9 -> int10: この電気通信回線は指摘す; int8 & int10 -> 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: もしあの村元達はあざといとしたら「その第ばあ君が探し易くないしさらにそれは迷い難くない」ということは成り立たない

仮説: この電気通信回線は用するということはないがしかし指摘す
1. 仮定1: 以下のように仮定する。この電気通信回線は用する
2. 事実16と仮定1から、推論1: "「この電気通信回線は御寒くないかまたは筆写する」ということは誤りだ"が導かれる
3. 推論1と事実18から、推論2: "この入札件数は甚だし"が導かれる
4. 推論2と事実7から、推論3: "この原因裁定は探し易い"が導かれる
5. 事実4から、推論4: "あの村元達はあざとい"が導かれる
6. 推論4と事実24から、推論5: "「その第ばあ君は探し易くないし迷い難いということはない」ということは嘘だ"が導かれる
7. 推論5と事実5から、推論6: "「この原因裁定は探し易くない」ということは成り立つ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この電気通信回線は用しない"が導かれる
10. 事実8と事実11から、推論9: "この心線対照光は活性である"が導かれる
11. 事実13と推論9から、推論10: "この電気通信回線は指摘す"が導かれる
12. 推論8と推論10から、仮説が導かれる

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