「この老中は改悛でないけれど掻き消える」ということは偽だ
fact1: もし仮になんらかのものは捨て難くないか考え抜くかもしくは両方なら「それは恐ろしくない」ということは真実だ fact2: もしも「ある物はせせこましい一方で毎期でない」ということは成り立たないとしたら毎期である fact3: 「この老中は改悛で加えて掻き消える」ということは事実と異なる fact4: あの三拍子は恐ろしい fact5: 「この老中は捧げ為さらないがしかし考え抜く」ということは成り立たない fact6: もし仮にあの三拍子は恐ろしいなら「それは塩揉みするし捧げ為さる」ということは間違っている fact7: もしもなにがしかの物は考え抜くとすると「改悛でないけれど掻き消える」ということは成り立つということはない fact8: 「この法文上は寝姿でないししかも事らしくない」ということは成り立たない fact9: もしもこの老中は考え抜くなら「それは改悛であるししかもそれは掻き消える」ということは事実と異なる fact10: あの三拍子が恐ろしいということはないとすればこの老中は改悛でない一方でそれは掻き消える fact11: もしあるものが共闘するし星条旗であるとしたらあの民俗的事象は熱っぽくない fact12: もしも「この法文上は寝姿でなくて更に事らしいということはない」ということは成り立たないとするとそれは間断無い fact13: この老中は捧げ為さる fact14: 「この法文上は共闘する」ということは確かである fact15: 何らかの物が間断無いとすればそれは遜色無い fact16: もしもなんらかのものが毎期だとすると捨て難くないかもしくは考え抜くかまたは両方だ fact17: この法文上は遜色無いとすると「星条旗でない」ということは偽だ fact18: 「あの三拍子は塩揉みするしかつ捧げ為さる」ということは誤っている fact19: もしも「あの三拍子は塩揉みするが捧げ為さらない」ということは成り立たないならば「この老中は考え抜く」ということは事実だ fact20: もし仮にあの三拍子は恐ろしいとすると「それは塩揉みするが捧げ為さらない」ということは成り立たない fact21: 「あの三拍子は捧げ為さる」ということは事実だとするとこの老中は考え抜く fact22: 「あの三拍子は改悛だけど通じ易くない」ということは間違いだ fact23: もしもあるものは考え抜けば「それは改悛で掻き消える」ということは誤りだ
fact20 & fact4 -> int1: 「「あの三拍子は塩揉みするけれどそれは捧げ為さらない」ということは成り立つ」ということは間違いである; int1 & fact19 -> int2: この老中は考え抜く; fact7 -> int3: 仮にこの老中は考え抜くとしたら「それは改悛であるということはない一方で掻き消える」ということは誤っている; int2 & int3 -> hypothesis;
この老中は改悛でないがしかし掻き消える
fact29 -> int4: 仮にあの三拍子は捨て難くないかもしくは考え抜くかあるいは両方ならば「恐ろしくない」ということは真実である; fact33 -> int5: もしもあの三拍子が毎期であるとしたらそれは捨て難くないかもしくは考え抜くかもしくは両方だ; fact28 -> int6: もし仮に「あの三拍子はせせこましいが毎期でない」ということは事実と異なるとすれば「毎期である」ということは本当だ; fact32 -> int7: もしこの法文上が間断無いとすればそれは遜色無い; fact30 & fact25 -> int8: この法文上は間断無い; int7 & int8 -> int9: この法文上は遜色無い; fact26 & int9 -> int10: この法文上は星条旗である; fact31 & int10 -> int11: この法文上は共闘するし加えてそれは星条旗だ; int11 -> int12: なにかは共闘するし更に星条旗だ; int12 & fact27 -> int13: あの民俗的事象は熱っぽくない; int13 -> int14: 熱っぽくない物はある;
$facts$ = fact1: もし仮になんらかのものは捨て難くないか考え抜くかもしくは両方なら「それは恐ろしくない」ということは真実だ fact2: もしも「ある物はせせこましい一方で毎期でない」ということは成り立たないとしたら毎期である fact3: 「この老中は改悛で加えて掻き消える」ということは事実と異なる fact4: あの三拍子は恐ろしい fact5: 「この老中は捧げ為さらないがしかし考え抜く」ということは成り立たない fact6: もし仮にあの三拍子は恐ろしいなら「それは塩揉みするし捧げ為さる」ということは間違っている fact7: もしもなにがしかの物は考え抜くとすると「改悛でないけれど掻き消える」ということは成り立つということはない fact8: 「この法文上は寝姿でないししかも事らしくない」ということは成り立たない fact9: もしもこの老中は考え抜くなら「それは改悛であるししかもそれは掻き消える」ということは事実と異なる fact10: あの三拍子が恐ろしいということはないとすればこの老中は改悛でない一方でそれは掻き消える fact11: もしあるものが共闘するし星条旗であるとしたらあの民俗的事象は熱っぽくない fact12: もしも「この法文上は寝姿でなくて更に事らしいということはない」ということは成り立たないとするとそれは間断無い fact13: この老中は捧げ為さる fact14: 「この法文上は共闘する」ということは確かである fact15: 何らかの物が間断無いとすればそれは遜色無い fact16: もしもなんらかのものが毎期だとすると捨て難くないかもしくは考え抜くかまたは両方だ fact17: この法文上は遜色無いとすると「星条旗でない」ということは偽だ fact18: 「あの三拍子は塩揉みするしかつ捧げ為さる」ということは誤っている fact19: もしも「あの三拍子は塩揉みするが捧げ為さらない」ということは成り立たないならば「この老中は考え抜く」ということは事実だ fact20: もし仮にあの三拍子は恐ろしいとすると「それは塩揉みするが捧げ為さらない」ということは成り立たない fact21: 「あの三拍子は捧げ為さる」ということは事実だとするとこの老中は考え抜く fact22: 「あの三拍子は改悛だけど通じ易くない」ということは間違いだ fact23: もしもあるものは考え抜けば「それは改悛で掻き消える」ということは誤りだ ; $hypothesis$ = 「この老中は改悛でないけれど掻き消える」ということは偽だ ; $proof$ = 
fact20 & fact4 -> int1: 「「あの三拍子は塩揉みするけれどそれは捧げ為さらない」ということは成り立つ」ということは間違いである; int1 & fact19 -> int2: この老中は考え抜く; fact7 -> int3: 仮にこの老中は考え抜くとしたら「それは改悛であるということはない一方で掻き消える」ということは誤っている; int2 & int3 -> 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: もしもあるものは考え抜けば「それは改悛で掻き消える」ということは誤りだ

仮説: 「この老中は改悛でないけれど掻き消える」ということは偽だ
1. 事実20と事実4から、推論1: "「「あの三拍子は塩揉みするけれどそれは捧げ為さらない」ということは成り立つ」ということは間違いである"が導かれる
2. 推論1と事実19から、推論2: "この老中は考え抜く"が導かれる
3. 事実7から、推論3: "仮にこの老中は考え抜くとしたら「それは改悛であるということはない一方で掻き消える」ということは誤っている"が導かれる
4. 推論2と推論3から、仮説が導かれる

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