あの任意様式は怖ーい
fact1: あの鍛冶職人はフライアッシュでしかも末恐ろしい fact2: この高炉スラグ微粉末コンクリートが絶対無だしその上歌謡映画だ fact3: なにかは乗り合わせるし更に発揮し始めれば怖ーくない fact4: 「あの鍛冶職人は末恐ろしくないかまたはそれは固しかどちらもだ」ということは誤りだとすればこの高炉スラグ微粉末コンクリートは罷り出る fact5: もし仮に「あの鍛冶職人は末恐ろしいかまたはそれは固しか両方だ」ということは成り立たないとしたらこの高炉スラグ微粉末コンクリートは罷り出る fact6: 「小規模個人再生手続きでない」ものはある fact7: もしも「フライアッシュでない」物はあれば「あの鍛冶職人は末恐ろしくないかそれは固し」ということは成り立たない fact8: もしもこの高炉スラグ微粉末コンクリートは罷り出るなら「あの任意様式は乗り合わせる」ということは確かだ fact9: あの任意様式は絶対無で更に発揮し始める fact10: もしあの鍛冶職人が罷り出ないとしたらあの任意様式は末恐ろしいしさらに固し fact11: 「この高炉スラグ微粉末コンクリートは乗り合わせるがしかし発揮し始めるということはない」ということは成り立たない fact12: 「表玄関でない」ものはある fact13: もし仮にあの任意様式は末恐ろしくておまけに固しならそれは乗り合わせない fact14: あの声出しはフライアッシュでない fact15: もし怖ーいものが絶対無ならば末恐ろしくない fact16: あの鍛冶職人は末恐ろしい fact17: 仮になにかは乗り合わせないとしたら「あの鍛冶職人は末恐ろしくないかあるいは発揮し始めるかどちらもである」ということは成り立たない fact18: この高炉スラグ微粉末コンクリートは発揮し始める fact19: もしも「フライアッシュでない」ものがあればあの鍛冶職人は末恐ろしい fact20: 仮に「あの任意様式は発揮し始めないかあるいは末恐ろしいかもしくは両方ともだ」ということは成り立たないなら「あの鍛冶職人は乗り合わせるということはない」ということは成り立つということはない fact21: 「あの任意様式は絶対無であるということはないか罷り出る」ということは成り立たない fact22: この高炉スラグ微粉末コンクリートは怖ーい fact23: 「あの任意様式は絶対無だ」ということは事実だ fact24: 何らかの物はフライアッシュである fact25: もし仮に「怖ーくない」物はあるとすれば「あの任意様式は乗り合わせるということはないかもしくはそれはフライアッシュであるかまたは両方である」ということは誤りだ
fact14 -> int1: 「フライアッシュだということはない」物はある; int1 & fact7 -> int2: 「あの鍛冶職人は末恐ろしくないかまたはそれは固しかあるいはどちらもである」ということは嘘である; int2 & fact4 -> int3: この高炉スラグ微粉末コンクリートは罷り出る; int3 & fact8 -> int4: あの任意様式は乗り合わせる; fact9 -> int5: あの任意様式は発揮し始める; int4 & int5 -> int6: あの任意様式は乗り合わせるし発揮し始める; fact3 -> int7: 仮にあの任意様式は乗り合わせるし更に発揮し始めるとすれば怖ーくない; int6 & int7 -> hypothesis;
あの任意様式は怖ーい
fact27 -> int8: 「「乗り合わせるがしかし発揮し始めるということはない」ということは間違いな」物はある;
$facts$ = fact1: あの鍛冶職人はフライアッシュでしかも末恐ろしい fact2: この高炉スラグ微粉末コンクリートが絶対無だしその上歌謡映画だ fact3: なにかは乗り合わせるし更に発揮し始めれば怖ーくない fact4: 「あの鍛冶職人は末恐ろしくないかまたはそれは固しかどちらもだ」ということは誤りだとすればこの高炉スラグ微粉末コンクリートは罷り出る fact5: もし仮に「あの鍛冶職人は末恐ろしいかまたはそれは固しか両方だ」ということは成り立たないとしたらこの高炉スラグ微粉末コンクリートは罷り出る fact6: 「小規模個人再生手続きでない」ものはある fact7: もしも「フライアッシュでない」物はあれば「あの鍛冶職人は末恐ろしくないかそれは固し」ということは成り立たない fact8: もしもこの高炉スラグ微粉末コンクリートは罷り出るなら「あの任意様式は乗り合わせる」ということは確かだ fact9: あの任意様式は絶対無で更に発揮し始める fact10: もしあの鍛冶職人が罷り出ないとしたらあの任意様式は末恐ろしいしさらに固し fact11: 「この高炉スラグ微粉末コンクリートは乗り合わせるがしかし発揮し始めるということはない」ということは成り立たない fact12: 「表玄関でない」ものはある fact13: もし仮にあの任意様式は末恐ろしくておまけに固しならそれは乗り合わせない fact14: あの声出しはフライアッシュでない fact15: もし怖ーいものが絶対無ならば末恐ろしくない fact16: あの鍛冶職人は末恐ろしい fact17: 仮になにかは乗り合わせないとしたら「あの鍛冶職人は末恐ろしくないかあるいは発揮し始めるかどちらもである」ということは成り立たない fact18: この高炉スラグ微粉末コンクリートは発揮し始める fact19: もしも「フライアッシュでない」ものがあればあの鍛冶職人は末恐ろしい fact20: 仮に「あの任意様式は発揮し始めないかあるいは末恐ろしいかもしくは両方ともだ」ということは成り立たないなら「あの鍛冶職人は乗り合わせるということはない」ということは成り立つということはない fact21: 「あの任意様式は絶対無であるということはないか罷り出る」ということは成り立たない fact22: この高炉スラグ微粉末コンクリートは怖ーい fact23: 「あの任意様式は絶対無だ」ということは事実だ fact24: 何らかの物はフライアッシュである fact25: もし仮に「怖ーくない」物はあるとすれば「あの任意様式は乗り合わせるということはないかもしくはそれはフライアッシュであるかまたは両方である」ということは誤りだ ; $hypothesis$ = あの任意様式は怖ーい ; $proof$ = 
fact14 -> int1: 「フライアッシュだということはない」物はある; int1 & fact7 -> int2: 「あの鍛冶職人は末恐ろしくないかまたはそれは固しかあるいはどちらもである」ということは嘘である; int2 & fact4 -> int3: この高炉スラグ微粉末コンクリートは罷り出る; int3 & fact8 -> int4: あの任意様式は乗り合わせる; fact9 -> int5: あの任意様式は発揮し始める; int4 & int5 -> int6: あの任意様式は乗り合わせるし発揮し始める; fact3 -> int7: 仮にあの任意様式は乗り合わせるし更に発揮し始めるとすれば怖ーくない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: あの鍛冶職人はフライアッシュでしかも末恐ろしい
事実2: この高炉スラグ微粉末コンクリートが絶対無だしその上歌謡映画だ
事実3: なにかは乗り合わせるし更に発揮し始めれば怖ーくない
事実4: 「あの鍛冶職人は末恐ろしくないかまたはそれは固しかどちらもだ」ということは誤りだとすればこの高炉スラグ微粉末コンクリートは罷り出る
事実5: もし仮に「あの鍛冶職人は末恐ろしいかまたはそれは固しか両方だ」ということは成り立たないとしたらこの高炉スラグ微粉末コンクリートは罷り出る
事実6: 「小規模個人再生手続きでない」ものはある
事実7: もしも「フライアッシュでない」物はあれば「あの鍛冶職人は末恐ろしくないかそれは固し」ということは成り立たない
事実8: もしもこの高炉スラグ微粉末コンクリートは罷り出るなら「あの任意様式は乗り合わせる」ということは確かだ
事実9: あの任意様式は絶対無で更に発揮し始める
事実10: もしあの鍛冶職人が罷り出ないとしたらあの任意様式は末恐ろしいしさらに固し
事実11: 「この高炉スラグ微粉末コンクリートは乗り合わせるがしかし発揮し始めるということはない」ということは成り立たない
事実12: 「表玄関でない」ものはある
事実13: もし仮にあの任意様式は末恐ろしくておまけに固しならそれは乗り合わせない
事実14: あの声出しはフライアッシュでない
事実15: もし怖ーいものが絶対無ならば末恐ろしくない
事実16: あの鍛冶職人は末恐ろしい
事実17: 仮になにかは乗り合わせないとしたら「あの鍛冶職人は末恐ろしくないかあるいは発揮し始めるかどちらもである」ということは成り立たない
事実18: この高炉スラグ微粉末コンクリートは発揮し始める
事実19: もしも「フライアッシュでない」ものがあればあの鍛冶職人は末恐ろしい
事実20: 仮に「あの任意様式は発揮し始めないかあるいは末恐ろしいかもしくは両方ともだ」ということは成り立たないなら「あの鍛冶職人は乗り合わせるということはない」ということは成り立つということはない
事実21: 「あの任意様式は絶対無であるということはないか罷り出る」ということは成り立たない
事実22: この高炉スラグ微粉末コンクリートは怖ーい
事実23: 「あの任意様式は絶対無だ」ということは事実だ
事実24: 何らかの物はフライアッシュである
事実25: もし仮に「怖ーくない」物はあるとすれば「あの任意様式は乗り合わせるということはないかもしくはそれはフライアッシュであるかまたは両方である」ということは誤りだ

仮説: あの任意様式は怖ーい
1. 事実14から、推論1: "「フライアッシュだということはない」物はある"が導かれる
2. 推論1と事実7から、推論2: "「あの鍛冶職人は末恐ろしくないかまたはそれは固しかあるいはどちらもである」ということは嘘である"が導かれる
3. 推論2と事実4から、推論3: "この高炉スラグ微粉末コンクリートは罷り出る"が導かれる
4. 推論3と事実8から、推論4: "あの任意様式は乗り合わせる"が導かれる
5. 事実9から、推論5: "あの任意様式は発揮し始める"が導かれる
6. 推論4と推論5から、推論6: "あの任意様式は乗り合わせるし発揮し始める"が導かれる
7. 事実3から、推論7: "仮にあの任意様式は乗り合わせるし更に発揮し始めるとすれば怖ーくない"が導かれる
8. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。