「もしも勿体無くないなら「「仰々しくなくて更に一型サイトカインレセプターでない」ということは正しい」ということは成り立たない」ものはある
fact1: もしそのプログラミングは一型サイトカインレセプターなら「それは保有でないしさらに弁解しない」ということは成り立たない fact2: もし仮になんらかのものは勿体無くないとすれば「仰々しくなくてそれは一型サイトカインレセプターでない」ということは間違いである fact3: もしとある物は息み始めれば「それは黄色っぽくないし加えて礼儀正しいということはない」ということは成り立たない fact4: 「もしも勿体無くないとすると「仰々しいしその上一型サイトカインレセプターでない」ということは誤りな」ものはある fact5: もしなんらかの物は演出しないとすれば「それは癒し難くなくてまたそれは反映され易くない」ということは成り立たない fact6: 「仮にパラフレーズしないならば「流れ行かないしまた速報でない」ということは成り立たない」ものはある fact7: なにかは殺さないなら「それは運転出来なくて加えて得難しない」ということは誤っている fact8: 「もしも勿体無くないとすると仰々しいということはないしその上一型サイトカインレセプターだということはない」物はある fact9: 「「明定しないとしたら飲み難くないし沈降しない」物はある」ということは本当だ fact10: 「もしも当て付けがましくらないとすれば「礼儀正しくないけど沈降する」ということは間違いである」ものはある fact11: もしもそのプログラミングは勿体無くないとしたら「それは仰々しいけど一型サイトカインレセプターでない」ということは成り立たない fact12: 「もし仮に勿体無くないならば「仰々しくないけど一型サイトカインレセプターだ」ということは成り立たない」ものはある fact13: もしもあるものは明定するとしたら「黄色っぽくないしまた表出しない」ということは間違いだ fact14: 仮にそのプログラミングは勿体無くないとしたら「仰々しくないけれど一型サイトカインレセプターだ」ということは成り立たない fact15: 勿体無くない物は仰々しいということはないしさらに一型サイトカインレセプターでない
fact2 -> int1: 「仮にそのプログラミングは勿体無くないとすると「そのプログラミングは仰々しくなくておまけに一型サイトカインレセプターでない」ということは事実と異なる」ということは成り立つ; int1 -> hypothesis;
「もし仮に演出するということはないとしたら「癒し難くないし更に反映され易くない」ということは誤っている」ものはある
fact16 -> int2: もしもその陽性アストロサイトは演出するということはないとすると「それは癒し難くないし反映され易くない」ということは成り立たない; int2 -> hypothesis;
$facts$ = fact1: もしそのプログラミングは一型サイトカインレセプターなら「それは保有でないしさらに弁解しない」ということは成り立たない fact2: もし仮になんらかのものは勿体無くないとすれば「仰々しくなくてそれは一型サイトカインレセプターでない」ということは間違いである fact3: もしとある物は息み始めれば「それは黄色っぽくないし加えて礼儀正しいということはない」ということは成り立たない fact4: 「もしも勿体無くないとすると「仰々しいしその上一型サイトカインレセプターでない」ということは誤りな」ものはある fact5: もしなんらかの物は演出しないとすれば「それは癒し難くなくてまたそれは反映され易くない」ということは成り立たない fact6: 「仮にパラフレーズしないならば「流れ行かないしまた速報でない」ということは成り立たない」ものはある fact7: なにかは殺さないなら「それは運転出来なくて加えて得難しない」ということは誤っている fact8: 「もしも勿体無くないとすると仰々しいということはないしその上一型サイトカインレセプターだということはない」物はある fact9: 「「明定しないとしたら飲み難くないし沈降しない」物はある」ということは本当だ fact10: 「もしも当て付けがましくらないとすれば「礼儀正しくないけど沈降する」ということは間違いである」ものはある fact11: もしもそのプログラミングは勿体無くないとしたら「それは仰々しいけど一型サイトカインレセプターでない」ということは成り立たない fact12: 「もし仮に勿体無くないならば「仰々しくないけど一型サイトカインレセプターだ」ということは成り立たない」ものはある fact13: もしもあるものは明定するとしたら「黄色っぽくないしまた表出しない」ということは間違いだ fact14: 仮にそのプログラミングは勿体無くないとしたら「仰々しくないけれど一型サイトカインレセプターだ」ということは成り立たない fact15: 勿体無くない物は仰々しいということはないしさらに一型サイトカインレセプターでない ; $hypothesis$ = 「もしも勿体無くないなら「「仰々しくなくて更に一型サイトカインレセプターでない」ということは正しい」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> int1: 「仮にそのプログラミングは勿体無くないとすると「そのプログラミングは仰々しくなくておまけに一型サイトカインレセプターでない」ということは事実と異なる」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: もしそのプログラミングは一型サイトカインレセプターなら「それは保有でないしさらに弁解しない」ということは成り立たない
事実2: もし仮になんらかのものは勿体無くないとすれば「仰々しくなくてそれは一型サイトカインレセプターでない」ということは間違いである
事実3: もしとある物は息み始めれば「それは黄色っぽくないし加えて礼儀正しいということはない」ということは成り立たない
事実4: 「もしも勿体無くないとすると「仰々しいしその上一型サイトカインレセプターでない」ということは誤りな」ものはある
事実5: もしなんらかの物は演出しないとすれば「それは癒し難くなくてまたそれは反映され易くない」ということは成り立たない
事実6: 「仮にパラフレーズしないならば「流れ行かないしまた速報でない」ということは成り立たない」ものはある
事実7: なにかは殺さないなら「それは運転出来なくて加えて得難しない」ということは誤っている
事実8: 「もしも勿体無くないとすると仰々しいということはないしその上一型サイトカインレセプターだということはない」物はある
事実9: 「「明定しないとしたら飲み難くないし沈降しない」物はある」ということは本当だ
事実10: 「もしも当て付けがましくらないとすれば「礼儀正しくないけど沈降する」ということは間違いである」ものはある
事実11: もしもそのプログラミングは勿体無くないとしたら「それは仰々しいけど一型サイトカインレセプターでない」ということは成り立たない
事実12: 「もし仮に勿体無くないならば「仰々しくないけど一型サイトカインレセプターだ」ということは成り立たない」ものはある
事実13: もしもあるものは明定するとしたら「黄色っぽくないしまた表出しない」ということは間違いだ
事実14: 仮にそのプログラミングは勿体無くないとしたら「仰々しくないけれど一型サイトカインレセプターだ」ということは成り立たない
事実15: 勿体無くない物は仰々しいということはないしさらに一型サイトカインレセプターでない

仮説: 「もしも勿体無くないなら「「仰々しくなくて更に一型サイトカインレセプターでない」ということは正しい」ということは成り立たない」ものはある
1. 事実2から、推論1: "「仮にそのプログラミングは勿体無くないとすると「そのプログラミングは仰々しくなくておまけに一型サイトカインレセプターでない」ということは事実と異なる」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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