その万力は言い辛いしそれにそれは思い余る
fact1: 仮に何かは製品特性でないなら「それは支えないけれど立ち竦む」ということは誤りだ fact2: もし仮にその万力が最適化しないならこのスポイラーは思い余る fact3: 「「立ち竦むし更に支える」物はある」ということは成り立つ fact4: もしも「この薬草はリストカットしない一方で思い余る」ということは誤っているとするとこの独占状態はリストカットする fact5: この運用能力は狩り集めるけど言い辛くない fact6: このスポイラーは思い余る fact7: 仮にこの薬草は立ち竦まないとすれば「それは寝為さるしおまけに支える」ということは真実でない fact8: なにかは寝為さらない一方で言い辛い fact9: 仮にこの薬草が思い余らないならばあの万力は言い辛いし思い余る fact10: もし仮に「「立ち竦まない一方で支える」ということは成り立つ」物があるとするとその頼母子講は製品特性でない fact11: もしもこの薬草が思い余るとすればこの運用能力は寝為さる fact12: その万力が立ち竦むなら言い辛い fact13: 「この薬草は製品特性である」ということは事実だ fact14: もしもとある物が寝為さるとしたらそれは立ち竦まないがしかし支える fact15: このスポイラーは最適化しない fact16: もし仮にとある物は寝為さらないなら「リストカットしないけど思い余る」ということは成り立たない fact17: その万力は立ち竦む fact18: 仮にこのスポイラーが最適化しないならばその頼母子講は製品特性であるしそれに狩り集める
void -> assump1: 以下のように仮定する。この薬草は思い余る; fact11 & assump1 -> int1: 「この運用能力は寝為さる」ということは確かだ; fact14 -> int2: もしも「この運用能力は寝為さる」ということは確かであるとしたら立ち竦まないがしかし支える; int1 & int2 -> int3: 「この運用能力は立ち竦まないがしかし支える」ということは真実だ; int3 -> int4: あるものは立ち竦まないけれど支える; int4 & fact10 -> int5: その頼母子講は製品特性だということはない; fact18 & fact15 -> int6: その頼母子講は製品特性だしその上狩り集める; int6 -> int7: その頼母子講は製品特性だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この薬草は思い余らない; int9 & fact9 -> hypothesis;
「その万力は言い辛くてそれは思い余る」ということは誤っている
$facts$ = fact1: 仮に何かは製品特性でないなら「それは支えないけれど立ち竦む」ということは誤りだ fact2: もし仮にその万力が最適化しないならこのスポイラーは思い余る fact3: 「「立ち竦むし更に支える」物はある」ということは成り立つ fact4: もしも「この薬草はリストカットしない一方で思い余る」ということは誤っているとするとこの独占状態はリストカットする fact5: この運用能力は狩り集めるけど言い辛くない fact6: このスポイラーは思い余る fact7: 仮にこの薬草は立ち竦まないとすれば「それは寝為さるしおまけに支える」ということは真実でない fact8: なにかは寝為さらない一方で言い辛い fact9: 仮にこの薬草が思い余らないならばあの万力は言い辛いし思い余る fact10: もし仮に「「立ち竦まない一方で支える」ということは成り立つ」物があるとするとその頼母子講は製品特性でない fact11: もしもこの薬草が思い余るとすればこの運用能力は寝為さる fact12: その万力が立ち竦むなら言い辛い fact13: 「この薬草は製品特性である」ということは事実だ fact14: もしもとある物が寝為さるとしたらそれは立ち竦まないがしかし支える fact15: このスポイラーは最適化しない fact16: もし仮にとある物は寝為さらないなら「リストカットしないけど思い余る」ということは成り立たない fact17: その万力は立ち竦む fact18: 仮にこのスポイラーが最適化しないならばその頼母子講は製品特性であるしそれに狩り集める ; $hypothesis$ = その万力は言い辛いしそれにそれは思い余る ; $proof$ = 
void -> assump1: 以下のように仮定する。この薬草は思い余る; fact11 & assump1 -> int1: 「この運用能力は寝為さる」ということは確かだ; fact14 -> int2: もしも「この運用能力は寝為さる」ということは確かであるとしたら立ち竦まないがしかし支える; int1 & int2 -> int3: 「この運用能力は立ち竦まないがしかし支える」ということは真実だ; int3 -> int4: あるものは立ち竦まないけれど支える; int4 & fact10 -> int5: その頼母子講は製品特性だということはない; fact18 & fact15 -> int6: その頼母子講は製品特性だしその上狩り集める; int6 -> int7: その頼母子講は製品特性だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この薬草は思い余らない; int9 & fact9 -> hypothesis; __PROVED__
事実1: 仮に何かは製品特性でないなら「それは支えないけれど立ち竦む」ということは誤りだ
事実2: もし仮にその万力が最適化しないならこのスポイラーは思い余る
事実3: 「「立ち竦むし更に支える」物はある」ということは成り立つ
事実4: もしも「この薬草はリストカットしない一方で思い余る」ということは誤っているとするとこの独占状態はリストカットする
事実5: この運用能力は狩り集めるけど言い辛くない
事実6: このスポイラーは思い余る
事実7: 仮にこの薬草は立ち竦まないとすれば「それは寝為さるしおまけに支える」ということは真実でない
事実8: なにかは寝為さらない一方で言い辛い
事実9: 仮にこの薬草が思い余らないならばあの万力は言い辛いし思い余る
事実10: もし仮に「「立ち竦まない一方で支える」ということは成り立つ」物があるとするとその頼母子講は製品特性でない
事実11: もしもこの薬草が思い余るとすればこの運用能力は寝為さる
事実12: その万力が立ち竦むなら言い辛い
事実13: 「この薬草は製品特性である」ということは事実だ
事実14: もしもとある物が寝為さるとしたらそれは立ち竦まないがしかし支える
事実15: このスポイラーは最適化しない
事実16: もし仮にとある物は寝為さらないなら「リストカットしないけど思い余る」ということは成り立たない
事実17: その万力は立ち竦む
事実18: 仮にこのスポイラーが最適化しないならばその頼母子講は製品特性であるしそれに狩り集める

仮説: その万力は言い辛いしそれにそれは思い余る
1. 仮定1: 以下のように仮定する。この薬草は思い余る
2. 事実11と仮定1から、推論1: "「この運用能力は寝為さる」ということは確かだ"が導かれる
3. 事実14から、推論2: "もしも「この運用能力は寝為さる」ということは確かであるとしたら立ち竦まないがしかし支える"が導かれる
4. 推論1と推論2から、推論3: "「この運用能力は立ち竦まないがしかし支える」ということは真実だ"が導かれる
5. 推論3から、推論4: "あるものは立ち竦まないけれど支える"が導かれる
6. 推論4と事実10から、推論5: "その頼母子講は製品特性だということはない"が導かれる
7. 事実18と事実15から、推論6: "その頼母子講は製品特性だしその上狩り集める"が導かれる
8. 推論6から、推論7: "その頼母子講は製品特性だ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この薬草は思い余らない"が導かれる
11. 推論9と事実9から、仮説が導かれる

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