「その分子機序は発起するということはなくて加えてそれは読み難いということはない」ということは嘘である
fact1: 「この予備半田は発症し易くない」ということは成り立つならその分子機序は各回毎だ fact2: 「その分子機序は発起するがしかしそれは進化出来ない」ということは誤っている fact3: この文化的環境は読み難い fact4: その定型入力は発症し易い fact5: 「その間奏は読み難くなくてその上人懐こいない」ということは誤っている fact6: 「「その分子機序は発症し易くない一方でそれは省略出来る」ということは正しい」ということは嘘である fact7: もしその分子機序はモデル化だとすると「それはかったるくないが発起する」ということは誤りだ fact8: もしその分子機序は読み難いとすれば「それは破壊出来ないけれど極まりない」ということは誤りである fact9: その分子機序は発症し易い fact10: 発症し易いということはないものは発起するということはないしさらに読み難くない fact11: なんらかの物は付き難いとすれば「それは呆気ないかまたはぼやぼやするということはない」ということは嘘だ fact12: もし仮にその分子機序は発症し易いならば「それが発起しないしさらにそれは読み難くない」ということは間違いだ fact13: もし「なにがしかのものは呆気ないかあるいはぼやぼやしない」ということは偽ならば発症し易くない
fact12 & fact9 -> hypothesis;
fact12 & fact9 -> hypothesis;
その分子機序は発起しなくて更にそれは読み難くない
fact16 -> int1: その分子機序は発症し易くないならそれは発起しないし更に読み難くない; fact15 -> int2: 「その分子機序は呆気ないかもしくはぼやぼやしない」ということは正しくないとしたらそれは発症し易くない; fact14 -> int3: もしもその分子機序は付き難いとすれば「それは呆気ないかまたはそれはぼやぼやしないかどちらもである」ということは事実と異なる;
$facts$ = fact1: 「この予備半田は発症し易くない」ということは成り立つならその分子機序は各回毎だ fact2: 「その分子機序は発起するがしかしそれは進化出来ない」ということは誤っている fact3: この文化的環境は読み難い fact4: その定型入力は発症し易い fact5: 「その間奏は読み難くなくてその上人懐こいない」ということは誤っている fact6: 「「その分子機序は発症し易くない一方でそれは省略出来る」ということは正しい」ということは嘘である fact7: もしその分子機序はモデル化だとすると「それはかったるくないが発起する」ということは誤りだ fact8: もしその分子機序は読み難いとすれば「それは破壊出来ないけれど極まりない」ということは誤りである fact9: その分子機序は発症し易い fact10: 発症し易いということはないものは発起するということはないしさらに読み難くない fact11: なんらかの物は付き難いとすれば「それは呆気ないかまたはぼやぼやするということはない」ということは嘘だ fact12: もし仮にその分子機序は発症し易いならば「それが発起しないしさらにそれは読み難くない」ということは間違いだ fact13: もし「なにがしかのものは呆気ないかあるいはぼやぼやしない」ということは偽ならば発症し易くない ; $hypothesis$ = 「その分子機序は発起するということはなくて加えてそれは読み難いということはない」ということは嘘である ; $proof$ = 
fact12 & fact9 -> hypothesis; __PROVED__
事実1: 「この予備半田は発症し易くない」ということは成り立つならその分子機序は各回毎だ
事実2: 「その分子機序は発起するがしかしそれは進化出来ない」ということは誤っている
事実3: この文化的環境は読み難い
事実4: その定型入力は発症し易い
事実5: 「その間奏は読み難くなくてその上人懐こいない」ということは誤っている
事実6: 「「その分子機序は発症し易くない一方でそれは省略出来る」ということは正しい」ということは嘘である
事実7: もしその分子機序はモデル化だとすると「それはかったるくないが発起する」ということは誤りだ
事実8: もしその分子機序は読み難いとすれば「それは破壊出来ないけれど極まりない」ということは誤りである
事実9: その分子機序は発症し易い
事実10: 発症し易いということはないものは発起するということはないしさらに読み難くない
事実11: なんらかの物は付き難いとすれば「それは呆気ないかまたはぼやぼやするということはない」ということは嘘だ
事実12: もし仮にその分子機序は発症し易いならば「それが発起しないしさらにそれは読み難くない」ということは間違いだ
事実13: もし「なにがしかのものは呆気ないかあるいはぼやぼやしない」ということは偽ならば発症し易くない

仮説: 「その分子機序は発起するということはなくて加えてそれは読み難いということはない」ということは嘘である
1. 事実12と事実9から、仮説が導かれる

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