この他己紹介は気恥ずかしい
fact1: もしその骨子は身軽いとしたら「炭化水素冷媒でなくてそれは傾げる」ということは本当でない fact2: そのなっちゃんは競り上げるということはなくてそれは表門でない fact3: もしその骨子は身軽くないとすれば「この他己紹介は身軽くないが青黒い」ということは嘘である fact4: 根気強くない物はずきずきしないしそれに表門でない fact5: 仮にそのエネルギー帯図はずきずきしないとすれば「そのなっちゃんはずきずきしないしその上表門でない」ということは成り立たない fact6: とある物がずきずきするとすればそれは身軽い fact7: もし仮に「この他己紹介はずきずきするかあるいは気恥ずかしいか両方だ」ということは嘘なら「そのなっちゃんは競り上げない」ということは正しい fact8: 仮に「「述べ上げないが民営化する」ということは誤りである」ものがあるとすればそのなっちゃんは根気強くない fact9: この日経平均は模索し続けなくて更に表門でない fact10: 仮に「「その骨子は競り上げないかあるいはそれは青黒いかもしくは両方ともである」ということは間違いでない」ということは本当でないとするとこの他己紹介は身軽くない fact11: 「「述べ上げないけど民営化する」ということは誤っている」物はある fact12: もし何かは身軽くないならそれは気恥ずかしくない fact13: もしも「その骨子は青黒いかもしくはそれは根気強い」ということは本当でないとすればそのなっちゃんは競り上げない fact14: 仮にその骨子が競り上げるということはないかあるいは青黒いかあるいは両方だとするとそのエネルギー帯図はずきずきしない
void -> assump1: 以下のように仮定する。その骨子は競り上げないかもしくは青黒いかあるいは両方だ; fact14 & assump1 -> int1: そのエネルギー帯図はずきずきしない; int1 & fact5 -> int2: 「そのなっちゃんはずきずきするということはなくて表門でない」ということは誤りである; fact4 -> int3: 「そのなっちゃんは根気強くない」ということは間違っていないならばそれはずきずきしないし加えて表門でない; fact8 & fact11 -> int4: そのなっちゃんは根気強くない; int3 & int4 -> int5: そのなっちゃんはずきずきしなくて更に表門でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その骨子は競り上げないかもしくは青黒いか両方ともだ」ということは成り立つということはない; int7 & fact10 -> int8: この他己紹介は身軽くない; fact12 -> int9: もしこの他己紹介が身軽くないとすれば気恥ずかしくない; int8 & int9 -> hypothesis;
「「炭化水素冷媒でないけれど傾げる」ということは間違っている」ものはある
fact15 -> int10: 仮にその骨子はずきずきするなら「それは身軽い」ということは事実である;
$facts$ = fact1: もしその骨子は身軽いとしたら「炭化水素冷媒でなくてそれは傾げる」ということは本当でない fact2: そのなっちゃんは競り上げるということはなくてそれは表門でない fact3: もしその骨子は身軽くないとすれば「この他己紹介は身軽くないが青黒い」ということは嘘である fact4: 根気強くない物はずきずきしないしそれに表門でない fact5: 仮にそのエネルギー帯図はずきずきしないとすれば「そのなっちゃんはずきずきしないしその上表門でない」ということは成り立たない fact6: とある物がずきずきするとすればそれは身軽い fact7: もし仮に「この他己紹介はずきずきするかあるいは気恥ずかしいか両方だ」ということは嘘なら「そのなっちゃんは競り上げない」ということは正しい fact8: 仮に「「述べ上げないが民営化する」ということは誤りである」ものがあるとすればそのなっちゃんは根気強くない fact9: この日経平均は模索し続けなくて更に表門でない fact10: 仮に「「その骨子は競り上げないかあるいはそれは青黒いかもしくは両方ともである」ということは間違いでない」ということは本当でないとするとこの他己紹介は身軽くない fact11: 「「述べ上げないけど民営化する」ということは誤っている」物はある fact12: もし何かは身軽くないならそれは気恥ずかしくない fact13: もしも「その骨子は青黒いかもしくはそれは根気強い」ということは本当でないとすればそのなっちゃんは競り上げない fact14: 仮にその骨子が競り上げるということはないかあるいは青黒いかあるいは両方だとするとそのエネルギー帯図はずきずきしない ; $hypothesis$ = この他己紹介は気恥ずかしい ; $proof$ = 
void -> assump1: 以下のように仮定する。その骨子は競り上げないかもしくは青黒いかあるいは両方だ; fact14 & assump1 -> int1: そのエネルギー帯図はずきずきしない; int1 & fact5 -> int2: 「そのなっちゃんはずきずきするということはなくて表門でない」ということは誤りである; fact4 -> int3: 「そのなっちゃんは根気強くない」ということは間違っていないならばそれはずきずきしないし加えて表門でない; fact8 & fact11 -> int4: そのなっちゃんは根気強くない; int3 & int4 -> int5: そのなっちゃんはずきずきしなくて更に表門でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その骨子は競り上げないかもしくは青黒いか両方ともだ」ということは成り立つということはない; int7 & fact10 -> int8: この他己紹介は身軽くない; fact12 -> int9: もしこの他己紹介が身軽くないとすれば気恥ずかしくない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしその骨子は身軽いとしたら「炭化水素冷媒でなくてそれは傾げる」ということは本当でない
事実2: そのなっちゃんは競り上げるということはなくてそれは表門でない
事実3: もしその骨子は身軽くないとすれば「この他己紹介は身軽くないが青黒い」ということは嘘である
事実4: 根気強くない物はずきずきしないしそれに表門でない
事実5: 仮にそのエネルギー帯図はずきずきしないとすれば「そのなっちゃんはずきずきしないしその上表門でない」ということは成り立たない
事実6: とある物がずきずきするとすればそれは身軽い
事実7: もし仮に「この他己紹介はずきずきするかあるいは気恥ずかしいか両方だ」ということは嘘なら「そのなっちゃんは競り上げない」ということは正しい
事実8: 仮に「「述べ上げないが民営化する」ということは誤りである」ものがあるとすればそのなっちゃんは根気強くない
事実9: この日経平均は模索し続けなくて更に表門でない
事実10: 仮に「「その骨子は競り上げないかあるいはそれは青黒いかもしくは両方ともである」ということは間違いでない」ということは本当でないとするとこの他己紹介は身軽くない
事実11: 「「述べ上げないけど民営化する」ということは誤っている」物はある
事実12: もし何かは身軽くないならそれは気恥ずかしくない
事実13: もしも「その骨子は青黒いかもしくはそれは根気強い」ということは本当でないとすればそのなっちゃんは競り上げない
事実14: 仮にその骨子が競り上げるということはないかあるいは青黒いかあるいは両方だとするとそのエネルギー帯図はずきずきしない

仮説: この他己紹介は気恥ずかしい
1. 仮定1: 以下のように仮定する。その骨子は競り上げないかもしくは青黒いかあるいは両方だ
2. 事実14と仮定1から、推論1: "そのエネルギー帯図はずきずきしない"が導かれる
3. 推論1と事実5から、推論2: "「そのなっちゃんはずきずきするということはなくて表門でない」ということは誤りである"が導かれる
4. 事実4から、推論3: "「そのなっちゃんは根気強くない」ということは間違っていないならばそれはずきずきしないし加えて表門でない"が導かれる
5. 事実8と事実11から、推論4: "そのなっちゃんは根気強くない"が導かれる
6. 推論3と推論4から、推論5: "そのなっちゃんはずきずきしなくて更に表門でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「その骨子は競り上げないかもしくは青黒いか両方ともだ」ということは成り立つということはない"が導かれる
9. 推論7と事実10から、推論8: "この他己紹介は身軽くない"が導かれる
10. 事実12から、推論9: "もしこの他己紹介が身軽くないとすれば気恥ずかしくない"が導かれる
11. 推論8と推論9から、仮説が否定される

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