あの印刷代は御召しに因る
fact1: あのアニメーション・フェスティバルは運転し易くないし加えて調理出来ない fact2: もしもこの民草が利用し難くない一方で養家であるとすればあの印刷代は御召しに因らない fact3: 「あの墨汁は御召しに因る」ということは成り立つ fact4: なんらかのものは支援制度であるならばそれは動作化である fact5: すべては探し易いかもしくは比較し難いか両方である fact6: もしもあのアニメーション・フェスティバルは運転し易くないならば「その五逆は支援制度であるがそれは動作化だということはない」ということは嘘である fact7: あのスイートスポットは御召しに因る fact8: もしも比較し難くない物が探し易くないならば病相期である fact9: あの印刷代は御召しに因る fact10: 病相期は養家である fact11: もしあの印刷代が養家だということはないけど租税負担率だとするとあの後続車は養家でない fact12: もし仮にこの民草が達しないとすればそれは比較し難くないし探し易くない fact13: もしあのアニメーション・フェスティバルが探し易いならばその五逆は比較し難い fact14: もしもあのアニメーション・フェスティバルは比較し難いならば「その五逆は比較し難い」ということは正しい fact15: もしもその五逆が病相期でないけど運転し易いとしたらこの民草は支援制度である fact16: 比較し難いものは病相期でないけれど運転し易い fact17: もし仮に「動作化な」ものがあるならばあの印刷代は養家でないけれど租税負担率だ fact18: 何かは位置でないかあるいはそれは達しない fact19: 「「支援制度であるし更に動作化でない」ということは成り立たない」物があるならこの民草は租税負担率でない fact20: もし何かは租税負担率でないとしたらそれは利用し難いということはない
fact9 -> hypothesis;
fact9 -> hypothesis;
あの印刷代は御召しに因るということはない
fact21 -> int1: もし仮にこの民草は租税負担率でないとすると利用し難くない; fact25 -> int2: あのアニメーション・フェスティバルは運転し易くない; fact26 & int2 -> int3: 「その五逆は支援制度だけれどそれは動作化だということはない」ということは成り立たない; int3 -> int4: 「「支援制度であるしまた動作化でない」ということは誤りである」物はある; int4 & fact24 -> int5: この民草は租税負担率でない; int1 & int5 -> int6: この民草は利用し難くない; fact22 -> int7: もしこの民草が病相期だとすれば養家である; fact29 -> int8: もしもこの民草が比較し難くないしまた探し易くないとすれば病相期だ;
$facts$ = fact1: あのアニメーション・フェスティバルは運転し易くないし加えて調理出来ない fact2: もしもこの民草が利用し難くない一方で養家であるとすればあの印刷代は御召しに因らない fact3: 「あの墨汁は御召しに因る」ということは成り立つ fact4: なんらかのものは支援制度であるならばそれは動作化である fact5: すべては探し易いかもしくは比較し難いか両方である fact6: もしもあのアニメーション・フェスティバルは運転し易くないならば「その五逆は支援制度であるがそれは動作化だということはない」ということは嘘である fact7: あのスイートスポットは御召しに因る fact8: もしも比較し難くない物が探し易くないならば病相期である fact9: あの印刷代は御召しに因る fact10: 病相期は養家である fact11: もしあの印刷代が養家だということはないけど租税負担率だとするとあの後続車は養家でない fact12: もし仮にこの民草が達しないとすればそれは比較し難くないし探し易くない fact13: もしあのアニメーション・フェスティバルが探し易いならばその五逆は比較し難い fact14: もしもあのアニメーション・フェスティバルは比較し難いならば「その五逆は比較し難い」ということは正しい fact15: もしもその五逆が病相期でないけど運転し易いとしたらこの民草は支援制度である fact16: 比較し難いものは病相期でないけれど運転し易い fact17: もし仮に「動作化な」ものがあるならばあの印刷代は養家でないけれど租税負担率だ fact18: 何かは位置でないかあるいはそれは達しない fact19: 「「支援制度であるし更に動作化でない」ということは成り立たない」物があるならこの民草は租税負担率でない fact20: もし何かは租税負担率でないとしたらそれは利用し難いということはない ; $hypothesis$ = あの印刷代は御召しに因る ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: あのアニメーション・フェスティバルは運転し易くないし加えて調理出来ない
事実2: もしもこの民草が利用し難くない一方で養家であるとすればあの印刷代は御召しに因らない
事実3: 「あの墨汁は御召しに因る」ということは成り立つ
事実4: なんらかのものは支援制度であるならばそれは動作化である
事実5: すべては探し易いかもしくは比較し難いか両方である
事実6: もしもあのアニメーション・フェスティバルは運転し易くないならば「その五逆は支援制度であるがそれは動作化だということはない」ということは嘘である
事実7: あのスイートスポットは御召しに因る
事実8: もしも比較し難くない物が探し易くないならば病相期である
事実9: あの印刷代は御召しに因る
事実10: 病相期は養家である
事実11: もしあの印刷代が養家だということはないけど租税負担率だとするとあの後続車は養家でない
事実12: もし仮にこの民草が達しないとすればそれは比較し難くないし探し易くない
事実13: もしあのアニメーション・フェスティバルが探し易いならばその五逆は比較し難い
事実14: もしもあのアニメーション・フェスティバルは比較し難いならば「その五逆は比較し難い」ということは正しい
事実15: もしもその五逆が病相期でないけど運転し易いとしたらこの民草は支援制度である
事実16: 比較し難いものは病相期でないけれど運転し易い
事実17: もし仮に「動作化な」ものがあるならばあの印刷代は養家でないけれど租税負担率だ
事実18: 何かは位置でないかあるいはそれは達しない
事実19: 「「支援制度であるし更に動作化でない」ということは成り立たない」物があるならこの民草は租税負担率でない
事実20: もし何かは租税負担率でないとしたらそれは利用し難いということはない

仮説: あの印刷代は御召しに因る
1. 事実9から、仮説が導かれる

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