「その重合体は異形である」ということは事実である
fact1: もしも「あの福島事件は物質化しない」ということは真実であるならそれは上がり難くてまた曇らない fact2: もしも「ある物は静電エネルギーである」ということは本当であるならばこの税率は間延びしない一方で樟である fact3: もし仮に「ある物は間延びしないし加えて静電エネルギーであるということはない」ということは間違いなら異形であるということはない fact4: その毛髪はし易いとしたらこの次善はし易くない fact5: 仮にとある物が彫り出さないとするとし易いしさらに賞球数である fact6: もしも「静電エネルギーな」物があるとするとこの税率は間延びしない fact7: 「仮になんらかのものは覆い被さらないとすれば「それは書かすしそれにそれは樟だということはない」ということは成り立たない」ということは正しい fact8: その越前藩邸が書かすとすればその重合体は異形である fact9: もしもあの福島事件が曇らないならその毛髪は曇らない fact10: 「「静電エネルギーである」ということは成り立つ」ものはある fact11: もし仮にこの税率が間延びするしそれに樟であるとすればその越前藩邸は書かす fact12: あの福島事件は物質化しない fact13: もしこの税率が異形だとするとその重合体は異形でない fact14: 仮にその越前藩邸が間延びしないならばあの税率は異形であるかもしくはそれは静電エネルギーである fact15: もし仮になにがしかのものは紆余でないかまたは覆い被さらないかもしくは両方ともならそれは覆い被さらない fact16: もしもこの税率が書かさないがしかし異形ならその重合体は樟である fact17: この次善はし易くないとすると紆余でないかそれは覆い被さらない fact18: もし仮にこの税率が間延びしないけれど樟であるとするとその越前藩邸は書かす fact19: 「「書かすし更に樟でない」ということは誤っている」物があるならその越前藩邸は間延びしない fact20: その重合体は樟だ fact21: この税率は間延びしない fact22: なにがしかのものが曇らないとしたらそれは彫り出さなくてそれは属さない
fact10 & fact2 -> int1: この税率は間延びしないがそれは樟だ; int1 & fact18 -> int2: 「その越前藩邸は書かす」ということは成り立つ; int2 & fact8 -> hypothesis;
その重合体は異形でない
fact25 -> int3: 仮にこの次善は覆い被さらないとすると「それが書かすしその上樟であるということはない」ということは間違いである; fact28 -> int4: 仮にこの次善が紆余でないかそれが覆い被さらないならそれは覆い被さらない; fact31 -> int5: もしその毛髪が彫り出すということはないならばし易いし賞球数である; fact24 -> int6: もし「その毛髪は曇らない」ということは確かだとするとそれは彫り出さないし属さない; fact29 & fact32 -> int7: あの福島事件は上がり難いけど曇らない; int7 -> int8: あの福島事件は曇らない; fact26 & int8 -> int9: その毛髪は曇らない; int6 & int9 -> int10: その毛髪は彫り出さないし属すということはない; int10 -> int11: その毛髪は彫り出すということはない; int5 & int11 -> int12: その毛髪はし易いしおまけに賞球数だ; int12 -> int13: その毛髪はし易い; fact30 & int13 -> int14: この次善はし易くない; fact27 & int14 -> int15: この次善は紆余でないかそれは覆い被さらないか両方である; int4 & int15 -> int16: 「この次善は覆い被さらない」ということは本当だ; int3 & int16 -> int17: 「この次善は書かすがしかしそれは樟であるということはない」ということは成り立たない; int17 -> int18: 「「書かすしさらに樟でない」ということは間違いである」物はある; int18 & fact23 -> int19: その越前藩邸は間延びしない; fact34 & int19 -> int20: この税率は異形であるかそれは静電エネルギーだ;
$facts$ = fact1: もしも「あの福島事件は物質化しない」ということは真実であるならそれは上がり難くてまた曇らない fact2: もしも「ある物は静電エネルギーである」ということは本当であるならばこの税率は間延びしない一方で樟である fact3: もし仮に「ある物は間延びしないし加えて静電エネルギーであるということはない」ということは間違いなら異形であるということはない fact4: その毛髪はし易いとしたらこの次善はし易くない fact5: 仮にとある物が彫り出さないとするとし易いしさらに賞球数である fact6: もしも「静電エネルギーな」物があるとするとこの税率は間延びしない fact7: 「仮になんらかのものは覆い被さらないとすれば「それは書かすしそれにそれは樟だということはない」ということは成り立たない」ということは正しい fact8: その越前藩邸が書かすとすればその重合体は異形である fact9: もしもあの福島事件が曇らないならその毛髪は曇らない fact10: 「「静電エネルギーである」ということは成り立つ」ものはある fact11: もし仮にこの税率が間延びするしそれに樟であるとすればその越前藩邸は書かす fact12: あの福島事件は物質化しない fact13: もしこの税率が異形だとするとその重合体は異形でない fact14: 仮にその越前藩邸が間延びしないならばあの税率は異形であるかもしくはそれは静電エネルギーである fact15: もし仮になにがしかのものは紆余でないかまたは覆い被さらないかもしくは両方ともならそれは覆い被さらない fact16: もしもこの税率が書かさないがしかし異形ならその重合体は樟である fact17: この次善はし易くないとすると紆余でないかそれは覆い被さらない fact18: もし仮にこの税率が間延びしないけれど樟であるとするとその越前藩邸は書かす fact19: 「「書かすし更に樟でない」ということは誤っている」物があるならその越前藩邸は間延びしない fact20: その重合体は樟だ fact21: この税率は間延びしない fact22: なにがしかのものが曇らないとしたらそれは彫り出さなくてそれは属さない ; $hypothesis$ = 「その重合体は異形である」ということは事実である ; $proof$ = 
fact10 & fact2 -> int1: この税率は間延びしないがそれは樟だ; int1 & fact18 -> int2: 「その越前藩邸は書かす」ということは成り立つ; int2 & fact8 -> hypothesis; __PROVED__
事実1: もしも「あの福島事件は物質化しない」ということは真実であるならそれは上がり難くてまた曇らない
事実2: もしも「ある物は静電エネルギーである」ということは本当であるならばこの税率は間延びしない一方で樟である
事実3: もし仮に「ある物は間延びしないし加えて静電エネルギーであるということはない」ということは間違いなら異形であるということはない
事実4: その毛髪はし易いとしたらこの次善はし易くない
事実5: 仮にとある物が彫り出さないとするとし易いしさらに賞球数である
事実6: もしも「静電エネルギーな」物があるとするとこの税率は間延びしない
事実7: 「仮になんらかのものは覆い被さらないとすれば「それは書かすしそれにそれは樟だということはない」ということは成り立たない」ということは正しい
事実8: その越前藩邸が書かすとすればその重合体は異形である
事実9: もしもあの福島事件が曇らないならその毛髪は曇らない
事実10: 「「静電エネルギーである」ということは成り立つ」ものはある
事実11: もし仮にこの税率が間延びするしそれに樟であるとすればその越前藩邸は書かす
事実12: あの福島事件は物質化しない
事実13: もしこの税率が異形だとするとその重合体は異形でない
事実14: 仮にその越前藩邸が間延びしないならばあの税率は異形であるかもしくはそれは静電エネルギーである
事実15: もし仮になにがしかのものは紆余でないかまたは覆い被さらないかもしくは両方ともならそれは覆い被さらない
事実16: もしもこの税率が書かさないがしかし異形ならその重合体は樟である
事実17: この次善はし易くないとすると紆余でないかそれは覆い被さらない
事実18: もし仮にこの税率が間延びしないけれど樟であるとするとその越前藩邸は書かす
事実19: 「「書かすし更に樟でない」ということは誤っている」物があるならその越前藩邸は間延びしない
事実20: その重合体は樟だ
事実21: この税率は間延びしない
事実22: なにがしかのものが曇らないとしたらそれは彫り出さなくてそれは属さない

仮説: 「その重合体は異形である」ということは事実である
1. 事実10と事実2から、推論1: "この税率は間延びしないがそれは樟だ"が導かれる
2. 推論1と事実18から、推論2: "「その越前藩邸は書かす」ということは成り立つ"が導かれる
3. 推論2と事実8から、仮説が導かれる

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