この遣る瀬は担任するしそれにそれは勝利出来る
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: とある物が高まり始めるということはないとするとあの執行実務は溶け易いしおまけに手緩い
fact14 & fact17 -> int1: あの執行実務は溶け易いししかもそれは高まり始める; int1 & fact3 -> int2: あの執行実務は冗談ぽくない; int2 & fact7 -> int3: この遣る瀬は担任する; fact18 & fact13 -> int4: この遣る瀬は手緩くてそれは勝利出来る; int4 -> int5: この遣る瀬は勝利出来る; int3 & int5 -> hypothesis;
この野球界は冗談ぽい
fact27 -> int6: もし仮に「あの発行等は重ね着しないかあるいはそれは手緩いかどちらもだ」ということは事実でないとすると勝利出来ない;
$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: とある物が高まり始めるということはないとするとあの執行実務は溶け易いしおまけに手緩い ; $hypothesis$ = この遣る瀬は担任するしそれにそれは勝利出来る ; $proof$ = 
fact14 & fact17 -> int1: あの執行実務は溶け易いししかもそれは高まり始める; int1 & fact3 -> int2: あの執行実務は冗談ぽくない; int2 & fact7 -> int3: この遣る瀬は担任する; fact18 & fact13 -> int4: この遣る瀬は手緩くてそれは勝利出来る; int4 -> int5: この遣る瀬は勝利出来る; int3 & int5 -> 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: とある物が高まり始めるということはないとするとあの執行実務は溶け易いしおまけに手緩い

仮説: この遣る瀬は担任するしそれにそれは勝利出来る
1. 事実14と事実17から、推論1: "あの執行実務は溶け易いししかもそれは高まり始める"が導かれる
2. 推論1と事実3から、推論2: "あの執行実務は冗談ぽくない"が導かれる
3. 推論2と事実7から、推論3: "この遣る瀬は担任する"が導かれる
4. 事実18と事実13から、推論4: "この遣る瀬は手緩くてそれは勝利出来る"が導かれる
5. 推論4から、推論5: "この遣る瀬は勝利出来る"が導かれる
6. 推論3と推論5から、仮説が導かれる

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