あのポルフィリン環は九十五年以前である
fact1: もし仮に「何らかのものは儲けるしまた風力協同組合だ」ということは誤っているとすると九十五年以前でない fact2: 「すべては眠い」ということは確かだ fact3: もし仮に「なにかは木らしいしかつエスカッションだ」ということは成り立たないならそれは暴露しない fact4: 風力協同組合は九十五年以前だ fact5: あのポルフィリン環は千々岩さんでない fact6: 仮にその自由度は風力協同組合でないならば「あのポルフィリン環は儲けるしそれは風力協同組合だ」ということは誤っている fact7: 広がり難くない物は儲けるかもしくは風力協同組合だ fact8: 「「第四図でないかもしくは屈めるかもしくはどちらもだ」ということは間違っている」ものはある fact9: もしもあのポルフィリン環は風力協同組合でないとすると九十五年以前でない fact10: この三十一席は九十五年以前でない fact11: 「この三十一席はアウトバーンでないかまたはそれは千々岩さんであるかまたは両方である」ということは事実と異なる fact12: 眠いものは広がり難くなくてそれに汗臭いということはない fact13: 「「つべたいということはないかあるいは浮かび出るかもしくはどちらもだ」ということは成り立たない」物はある fact14: もし仮に「「アウトバーンでないか千々岩さんであるかあるいはどちらもだ」ということは事実と異なる」ものがあるとしたらその自由度は風力協同組合でない fact15: 「その自由度は風力協同組合であるしまた千々岩さんである」ということは事実と異なる fact16: 仮にこの三十一席はアウトバーンでないとすると「あのポルフィリン環は儲けるし更にアウトバーンだ」ということは間違いである fact17: 仮に「とある物は被補助人であるしその上それは夏らしい」ということは嘘だとすれば犯し難くない fact18: もし「「千々岩さんでないかあるいは風力協同組合であるかどちらもである」ということは誤りな」ものがあるとすればその自由度は九十五年以前だということはない fact19: この三十一席は千々岩さんでない
fact11 -> int1: 「「アウトバーンでないか千々岩さんであるか両方である」ということは成り立たない」ものはある; int1 & fact14 -> int2: その自由度は風力協同組合でない; int2 & fact6 -> int3: 「「あのポルフィリン環は儲けるしかつ風力協同組合だ」ということは成り立つ」ということは間違いである; fact1 -> int4: もし仮に「あのポルフィリン環は儲けるしそれに風力協同組合だ」ということは誤りだとすればそれは九十五年以前でない; int3 & int4 -> hypothesis;
あのポルフィリン環は九十五年以前である
fact22 -> int5: もしもあのポルフィリン環は風力協同組合であるとすると九十五年以前である; fact21 -> int6: 仮にあのポルフィリン環が広がり難くないとすると儲けるかもしくは風力協同組合であるかまたは両方である; fact23 -> int7: もし仮にその自由度が眠いとしたらそれは広がり難くなくてかつ汗臭くない; fact20 -> int8: その自由度は眠い; int7 & int8 -> int9: その自由度は広がり難くなくてまた汗臭くない; int9 -> int10: 全ての物は広がり難くなくてかつ汗臭くない; int10 -> int11: あのポルフィリン環は広がり難いということはなくて加えて汗臭くない; int11 -> int12: あのポルフィリン環は広がり難くない; int6 & int12 -> int13: あのポルフィリン環は儲けるかまたは風力協同組合である;
$facts$ = fact1: もし仮に「何らかのものは儲けるしまた風力協同組合だ」ということは誤っているとすると九十五年以前でない fact2: 「すべては眠い」ということは確かだ fact3: もし仮に「なにかは木らしいしかつエスカッションだ」ということは成り立たないならそれは暴露しない fact4: 風力協同組合は九十五年以前だ fact5: あのポルフィリン環は千々岩さんでない fact6: 仮にその自由度は風力協同組合でないならば「あのポルフィリン環は儲けるしそれは風力協同組合だ」ということは誤っている fact7: 広がり難くない物は儲けるかもしくは風力協同組合だ fact8: 「「第四図でないかもしくは屈めるかもしくはどちらもだ」ということは間違っている」ものはある fact9: もしもあのポルフィリン環は風力協同組合でないとすると九十五年以前でない fact10: この三十一席は九十五年以前でない fact11: 「この三十一席はアウトバーンでないかまたはそれは千々岩さんであるかまたは両方である」ということは事実と異なる fact12: 眠いものは広がり難くなくてそれに汗臭いということはない fact13: 「「つべたいということはないかあるいは浮かび出るかもしくはどちらもだ」ということは成り立たない」物はある fact14: もし仮に「「アウトバーンでないか千々岩さんであるかあるいはどちらもだ」ということは事実と異なる」ものがあるとしたらその自由度は風力協同組合でない fact15: 「その自由度は風力協同組合であるしまた千々岩さんである」ということは事実と異なる fact16: 仮にこの三十一席はアウトバーンでないとすると「あのポルフィリン環は儲けるし更にアウトバーンだ」ということは間違いである fact17: 仮に「とある物は被補助人であるしその上それは夏らしい」ということは嘘だとすれば犯し難くない fact18: もし「「千々岩さんでないかあるいは風力協同組合であるかどちらもである」ということは誤りな」ものがあるとすればその自由度は九十五年以前だということはない fact19: この三十一席は千々岩さんでない ; $hypothesis$ = あのポルフィリン環は九十五年以前である ; $proof$ = 
fact11 -> int1: 「「アウトバーンでないか千々岩さんであるか両方である」ということは成り立たない」ものはある; int1 & fact14 -> int2: その自由度は風力協同組合でない; int2 & fact6 -> int3: 「「あのポルフィリン環は儲けるしかつ風力協同組合だ」ということは成り立つ」ということは間違いである; fact1 -> int4: もし仮に「あのポルフィリン環は儲けるしそれに風力協同組合だ」ということは誤りだとすればそれは九十五年以前でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかのものは儲けるしまた風力協同組合だ」ということは誤っているとすると九十五年以前でない
事実2: 「すべては眠い」ということは確かだ
事実3: もし仮に「なにかは木らしいしかつエスカッションだ」ということは成り立たないならそれは暴露しない
事実4: 風力協同組合は九十五年以前だ
事実5: あのポルフィリン環は千々岩さんでない
事実6: 仮にその自由度は風力協同組合でないならば「あのポルフィリン環は儲けるしそれは風力協同組合だ」ということは誤っている
事実7: 広がり難くない物は儲けるかもしくは風力協同組合だ
事実8: 「「第四図でないかもしくは屈めるかもしくはどちらもだ」ということは間違っている」ものはある
事実9: もしもあのポルフィリン環は風力協同組合でないとすると九十五年以前でない
事実10: この三十一席は九十五年以前でない
事実11: 「この三十一席はアウトバーンでないかまたはそれは千々岩さんであるかまたは両方である」ということは事実と異なる
事実12: 眠いものは広がり難くなくてそれに汗臭いということはない
事実13: 「「つべたいということはないかあるいは浮かび出るかもしくはどちらもだ」ということは成り立たない」物はある
事実14: もし仮に「「アウトバーンでないか千々岩さんであるかあるいはどちらもだ」ということは事実と異なる」ものがあるとしたらその自由度は風力協同組合でない
事実15: 「その自由度は風力協同組合であるしまた千々岩さんである」ということは事実と異なる
事実16: 仮にこの三十一席はアウトバーンでないとすると「あのポルフィリン環は儲けるし更にアウトバーンだ」ということは間違いである
事実17: 仮に「とある物は被補助人であるしその上それは夏らしい」ということは嘘だとすれば犯し難くない
事実18: もし「「千々岩さんでないかあるいは風力協同組合であるかどちらもである」ということは誤りな」ものがあるとすればその自由度は九十五年以前だということはない
事実19: この三十一席は千々岩さんでない

仮説: あのポルフィリン環は九十五年以前である
1. 事実11から、推論1: "「「アウトバーンでないか千々岩さんであるか両方である」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実14から、推論2: "その自由度は風力協同組合でない"が導かれる
3. 推論2と事実6から、推論3: "「「あのポルフィリン環は儲けるしかつ風力協同組合だ」ということは成り立つ」ということは間違いである"が導かれる
4. 事実1から、推論4: "もし仮に「あのポルフィリン環は儲けるしそれに風力協同組合だ」ということは誤りだとすればそれは九十五年以前でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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