この計上漏れは焼き固める
fact1: その消防は小高いということはない一方で擦り替える fact2: もしこの計上漏れが焼き固めるならそれは加工し易い fact3: その作動中は明文化する fact4: もしもその御義母さんが加工し易くないけど受け辛いならばこの計上漏れはど偉い fact5: 仮に何らかのものは踏み込みでないとしたら「それは明文化するしさらにそれは焼き固める」ということは成り立たない fact6: もしもあの日米修好通商条約が明文化するならばあの問題演習は踏み込みだ fact7: 「あの日米修好通商条約は意地悪いか御試すかあるいはどちらもである」ということは偽であるとしたらこの計上漏れは踏み込みだということはない fact8: もしとあるものがど偉いとするとそれは焼き固める fact9: あの日米修好通商条約は明文化する fact10: この問題演習は御試す fact11: 仮に「なんらかのものは明文化するし焼き固める」ということは成り立たないなら焼き固めるということはない fact12: もし仮に「この庭園文化は意地悪くない」ということは本当であるとするとその御義母さんは意地悪いしその上小暗い fact13: 仮に何かは乾かさないとすれば加工し易くないが受け辛い fact14: もしその御義母さんは意地悪いし小暗いとすると「乾かさない」ということは真実だ fact15: その御義母さんはど偉い fact16: 仮にこの問題演習が踏み込みであるしかつ御試せばこの庭園文化は意地悪くない fact17: この鰤類は御試す
fact6 & fact9 -> int1: この問題演習は踏み込みだ; int1 & fact10 -> int2: この問題演習は踏み込みだし御試す; int2 & fact16 -> int3: この庭園文化は意地悪いということはない; int3 & fact12 -> int4: その御義母さんは意地悪いし小暗い; int4 & fact14 -> int5: その御義母さんは乾かさない; fact13 -> int6: もしもその御義母さんが乾かさないなら加工し易いということはないがしかし受け辛い; int5 & int6 -> int7: その御義母さんは加工し易くないが受け辛い; int7 & fact4 -> int8: 「この計上漏れはど偉い」ということは成り立つ; fact8 -> int9: もしこの計上漏れがど偉いならそれは焼き固める; int8 & int9 -> hypothesis;
この計上漏れは焼き固めない
fact20 -> int10: 「この計上漏れは明文化するしさらに焼き固める」ということは成り立つということはないとしたら焼き固めない; fact19 -> int11: もしもこの計上漏れは踏み込みでないとすると「明文化するしおまけにそれは焼き固める」ということは成り立たない;
$facts$ = fact1: その消防は小高いということはない一方で擦り替える fact2: もしこの計上漏れが焼き固めるならそれは加工し易い fact3: その作動中は明文化する fact4: もしもその御義母さんが加工し易くないけど受け辛いならばこの計上漏れはど偉い fact5: 仮に何らかのものは踏み込みでないとしたら「それは明文化するしさらにそれは焼き固める」ということは成り立たない fact6: もしもあの日米修好通商条約が明文化するならばあの問題演習は踏み込みだ fact7: 「あの日米修好通商条約は意地悪いか御試すかあるいはどちらもである」ということは偽であるとしたらこの計上漏れは踏み込みだということはない fact8: もしとあるものがど偉いとするとそれは焼き固める fact9: あの日米修好通商条約は明文化する fact10: この問題演習は御試す fact11: 仮に「なんらかのものは明文化するし焼き固める」ということは成り立たないなら焼き固めるということはない fact12: もし仮に「この庭園文化は意地悪くない」ということは本当であるとするとその御義母さんは意地悪いしその上小暗い fact13: 仮に何かは乾かさないとすれば加工し易くないが受け辛い fact14: もしその御義母さんは意地悪いし小暗いとすると「乾かさない」ということは真実だ fact15: その御義母さんはど偉い fact16: 仮にこの問題演習が踏み込みであるしかつ御試せばこの庭園文化は意地悪くない fact17: この鰤類は御試す ; $hypothesis$ = この計上漏れは焼き固める ; $proof$ = 
fact6 & fact9 -> int1: この問題演習は踏み込みだ; int1 & fact10 -> int2: この問題演習は踏み込みだし御試す; int2 & fact16 -> int3: この庭園文化は意地悪いということはない; int3 & fact12 -> int4: その御義母さんは意地悪いし小暗い; int4 & fact14 -> int5: その御義母さんは乾かさない; fact13 -> int6: もしもその御義母さんが乾かさないなら加工し易いということはないがしかし受け辛い; int5 & int6 -> int7: その御義母さんは加工し易くないが受け辛い; int7 & fact4 -> int8: 「この計上漏れはど偉い」ということは成り立つ; fact8 -> int9: もしこの計上漏れがど偉いならそれは焼き固める; int8 & int9 -> hypothesis; __PROVED__
事実1: その消防は小高いということはない一方で擦り替える
事実2: もしこの計上漏れが焼き固めるならそれは加工し易い
事実3: その作動中は明文化する
事実4: もしもその御義母さんが加工し易くないけど受け辛いならばこの計上漏れはど偉い
事実5: 仮に何らかのものは踏み込みでないとしたら「それは明文化するしさらにそれは焼き固める」ということは成り立たない
事実6: もしもあの日米修好通商条約が明文化するならばあの問題演習は踏み込みだ
事実7: 「あの日米修好通商条約は意地悪いか御試すかあるいはどちらもである」ということは偽であるとしたらこの計上漏れは踏み込みだということはない
事実8: もしとあるものがど偉いとするとそれは焼き固める
事実9: あの日米修好通商条約は明文化する
事実10: この問題演習は御試す
事実11: 仮に「なんらかのものは明文化するし焼き固める」ということは成り立たないなら焼き固めるということはない
事実12: もし仮に「この庭園文化は意地悪くない」ということは本当であるとするとその御義母さんは意地悪いしその上小暗い
事実13: 仮に何かは乾かさないとすれば加工し易くないが受け辛い
事実14: もしその御義母さんは意地悪いし小暗いとすると「乾かさない」ということは真実だ
事実15: その御義母さんはど偉い
事実16: 仮にこの問題演習が踏み込みであるしかつ御試せばこの庭園文化は意地悪くない
事実17: この鰤類は御試す

仮説: この計上漏れは焼き固める
1. 事実6と事実9から、推論1: "この問題演習は踏み込みだ"が導かれる
2. 推論1と事実10から、推論2: "この問題演習は踏み込みだし御試す"が導かれる
3. 推論2と事実16から、推論3: "この庭園文化は意地悪いということはない"が導かれる
4. 推論3と事実12から、推論4: "その御義母さんは意地悪いし小暗い"が導かれる
5. 推論4と事実14から、推論5: "その御義母さんは乾かさない"が導かれる
6. 事実13から、推論6: "もしもその御義母さんが乾かさないなら加工し易いということはないがしかし受け辛い"が導かれる
7. 推論5と推論6から、推論7: "その御義母さんは加工し易くないが受け辛い"が導かれる
8. 推論7と事実4から、推論8: "「この計上漏れはど偉い」ということは成り立つ"が導かれる
9. 事実8から、推論9: "もしこの計上漏れがど偉いならそれは焼き固める"が導かれる
10. 推論8と推論9から、仮説が導かれる

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