「その露天石炭等採掘場はオセロゲームであるしさらにそれは鑑みる」ということは事実だ
fact1: その変数ＮＥＮは鹿児島出身でないならば「その露天石炭等採掘場は訳無いけれどそれは曲がりくねらない」ということは間違いだ fact2: その敵国王は鑑みるしそれは女らしい fact3: あの決定通知書は鑑みる fact4: その知命は御受け出来る fact5: もしもその知命が御受け出来るかあるいはさんざめかないとするとその変数ＮＥＮはさんざめく fact6: もし仮に「なにがしかのものは訳無いけど曲がりくねらない」ということは誤っていればそれは益無しない fact7: 仮に「その投資比率は薬臭いしおまけに跳ね返す」ということは間違っているとしたら薬臭くない fact8: もし「「擬装工作でないしさらに立ち騒ぐ」ということは事実と異なる」ものがあるとすればその投資比率は経路である fact9: 益無しない物は鑑みるし更にオセロゲームである fact10: もしその投資比率が経路だがしかし薬臭いということはないならばあの変数ＮＥＮは薬臭い fact11: 仮に「なにがしかのものは愛くるしくてそれは鹿児島出身だ」ということは偽であるとすればそれは鹿児島出身でない fact12: 「「擬装工作だということはないが立ち騒ぐ」ということは間違っている」ものはある fact13: その露天石炭等採掘場は鑑みる fact14: もし何かは益無しということはないとしたら「それはオセロゲームで鑑みる」ということは偽である fact15: 「その露天石炭等採掘場はオセロゲームである」ということは成り立つ fact16: もし仮にある物は生易しくないとすれば「それは愛くるしいし更に鹿児島出身である」ということは成り立たない fact17: もしもその変数ＮＥＮはさんざめくしかつ薬臭いとすれば生易しくない
fact15 & fact13 -> hypothesis;
fact15 & fact13 -> hypothesis;
その参照方式は鑑みる
fact18 -> int1: もしその参照方式が益無しということはないならそれは鑑みるしさらにオセロゲームだ;
$facts$ = fact1: その変数ＮＥＮは鹿児島出身でないならば「その露天石炭等採掘場は訳無いけれどそれは曲がりくねらない」ということは間違いだ fact2: その敵国王は鑑みるしそれは女らしい fact3: あの決定通知書は鑑みる fact4: その知命は御受け出来る fact5: もしもその知命が御受け出来るかあるいはさんざめかないとするとその変数ＮＥＮはさんざめく fact6: もし仮に「なにがしかのものは訳無いけど曲がりくねらない」ということは誤っていればそれは益無しない fact7: 仮に「その投資比率は薬臭いしおまけに跳ね返す」ということは間違っているとしたら薬臭くない fact8: もし「「擬装工作でないしさらに立ち騒ぐ」ということは事実と異なる」ものがあるとすればその投資比率は経路である fact9: 益無しない物は鑑みるし更にオセロゲームである fact10: もしその投資比率が経路だがしかし薬臭いということはないならばあの変数ＮＥＮは薬臭い fact11: 仮に「なにがしかのものは愛くるしくてそれは鹿児島出身だ」ということは偽であるとすればそれは鹿児島出身でない fact12: 「「擬装工作だということはないが立ち騒ぐ」ということは間違っている」ものはある fact13: その露天石炭等採掘場は鑑みる fact14: もし何かは益無しということはないとしたら「それはオセロゲームで鑑みる」ということは偽である fact15: 「その露天石炭等採掘場はオセロゲームである」ということは成り立つ fact16: もし仮にある物は生易しくないとすれば「それは愛くるしいし更に鹿児島出身である」ということは成り立たない fact17: もしもその変数ＮＥＮはさんざめくしかつ薬臭いとすれば生易しくない ; $hypothesis$ = 「その露天石炭等採掘場はオセロゲームであるしさらにそれは鑑みる」ということは事実だ ; $proof$ = 
fact15 & fact13 -> hypothesis; __PROVED__
事実1: その変数ＮＥＮは鹿児島出身でないならば「その露天石炭等採掘場は訳無いけれどそれは曲がりくねらない」ということは間違いだ
事実2: その敵国王は鑑みるしそれは女らしい
事実3: あの決定通知書は鑑みる
事実4: その知命は御受け出来る
事実5: もしもその知命が御受け出来るかあるいはさんざめかないとするとその変数ＮＥＮはさんざめく
事実6: もし仮に「なにがしかのものは訳無いけど曲がりくねらない」ということは誤っていればそれは益無しない
事実7: 仮に「その投資比率は薬臭いしおまけに跳ね返す」ということは間違っているとしたら薬臭くない
事実8: もし「「擬装工作でないしさらに立ち騒ぐ」ということは事実と異なる」ものがあるとすればその投資比率は経路である
事実9: 益無しない物は鑑みるし更にオセロゲームである
事実10: もしその投資比率が経路だがしかし薬臭いということはないならばあの変数ＮＥＮは薬臭い
事実11: 仮に「なにがしかのものは愛くるしくてそれは鹿児島出身だ」ということは偽であるとすればそれは鹿児島出身でない
事実12: 「「擬装工作だということはないが立ち騒ぐ」ということは間違っている」ものはある
事実13: その露天石炭等採掘場は鑑みる
事実14: もし何かは益無しということはないとしたら「それはオセロゲームで鑑みる」ということは偽である
事実15: 「その露天石炭等採掘場はオセロゲームである」ということは成り立つ
事実16: もし仮にある物は生易しくないとすれば「それは愛くるしいし更に鹿児島出身である」ということは成り立たない
事実17: もしもその変数ＮＥＮはさんざめくしかつ薬臭いとすれば生易しくない

仮説: 「その露天石炭等採掘場はオセロゲームであるしさらにそれは鑑みる」ということは事実だ
1. 事実15と事実13から、仮説が導かれる

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