「その異所性気管気管支はアマチュア・スポーツでない」ということは本当である
fact1: その政治的機能は邪魔する fact2: もしもその貨幣市場が保護対象であるということはなくてそれが言い出し難くないとするとその政治的機能は邪魔しない fact3: その貨幣市場は言い出し難くない fact4: あの試合内容がしょっぴくということはないならばその異所性気管気管支はアマチュア・スポーツだ fact5: もしも「その貨幣市場は拒める」ということは成り立つならそれは保護対象でないしかつそれは言い出し難くない fact6: もしそのシステムは菌体外でないならば「あの試合内容はしょっぴかない」ということは成り立つ fact7: 仮に「そのシステムは火宅で更に菌体外である」ということは間違っているとするとあの試合内容はしょっぴかない fact8: もし仮にその貨幣市場が保護対象でないとするとそのシステムは拒めないかあるいは割れ易くないかもしくは両方である fact9: もしその貨幣市場が拒めるなら言い出し難くない fact10: このコミュニティ全体は邪魔する fact11: もしもその貨幣市場が保護対象でないが言い出し難いとすればその政治的機能は邪魔しない fact12: 「もしそのシステムが拒めるならそのシステムは割れ易いけれどアマチュア・スポーツでない」ということは成り立つ fact13: もしもそのシステムが割れ易いとしたらその貨幣市場は拒める fact14: 仮にその貨幣市場が火宅ならばそれは割れ易いということはないし更に拒めるということはない fact15: もし仮にそのシステムは割れ易くないとすれば「それは火宅であるし更に菌体外である」ということは間違いである fact16: もしもそのシステムが割れ易い一方でそれがアマチュア・スポーツでないとするとその異所性気管気管支はアマチュア・スポーツだということはない
void -> assump1: 以下のように仮定する。そのシステムは割れ易い; fact13 & assump1 -> int1: その貨幣市場は拒める; int1 & fact5 -> int2: その貨幣市場は保護対象でなくてそれは言い出し難いということはない; int2 & fact2 -> int3: 「その政治的機能は邪魔しない」ということは確かである; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのシステムは割れ易くない」ということは事実と異ならない; int5 & fact15 -> int6: 「そのシステムは火宅であるしその上菌体外である」ということは本当でない; int6 & fact7 -> int7: あの試合内容はしょっぴかない; int7 & fact4 -> hypothesis;
その異所性気管気管支はアマチュア・スポーツであるということはない
$facts$ = fact1: その政治的機能は邪魔する fact2: もしもその貨幣市場が保護対象であるということはなくてそれが言い出し難くないとするとその政治的機能は邪魔しない fact3: その貨幣市場は言い出し難くない fact4: あの試合内容がしょっぴくということはないならばその異所性気管気管支はアマチュア・スポーツだ fact5: もしも「その貨幣市場は拒める」ということは成り立つならそれは保護対象でないしかつそれは言い出し難くない fact6: もしそのシステムは菌体外でないならば「あの試合内容はしょっぴかない」ということは成り立つ fact7: 仮に「そのシステムは火宅で更に菌体外である」ということは間違っているとするとあの試合内容はしょっぴかない fact8: もし仮にその貨幣市場が保護対象でないとするとそのシステムは拒めないかあるいは割れ易くないかもしくは両方である fact9: もしその貨幣市場が拒めるなら言い出し難くない fact10: このコミュニティ全体は邪魔する fact11: もしもその貨幣市場が保護対象でないが言い出し難いとすればその政治的機能は邪魔しない fact12: 「もしそのシステムが拒めるならそのシステムは割れ易いけれどアマチュア・スポーツでない」ということは成り立つ fact13: もしもそのシステムが割れ易いとしたらその貨幣市場は拒める fact14: 仮にその貨幣市場が火宅ならばそれは割れ易いということはないし更に拒めるということはない fact15: もし仮にそのシステムは割れ易くないとすれば「それは火宅であるし更に菌体外である」ということは間違いである fact16: もしもそのシステムが割れ易い一方でそれがアマチュア・スポーツでないとするとその異所性気管気管支はアマチュア・スポーツだということはない ; $hypothesis$ = 「その異所性気管気管支はアマチュア・スポーツでない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのシステムは割れ易い; fact13 & assump1 -> int1: その貨幣市場は拒める; int1 & fact5 -> int2: その貨幣市場は保護対象でなくてそれは言い出し難いということはない; int2 & fact2 -> int3: 「その政治的機能は邪魔しない」ということは確かである; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのシステムは割れ易くない」ということは事実と異ならない; int5 & fact15 -> int6: 「そのシステムは火宅であるしその上菌体外である」ということは本当でない; int6 & fact7 -> int7: あの試合内容はしょっぴかない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: その政治的機能は邪魔する
事実2: もしもその貨幣市場が保護対象であるということはなくてそれが言い出し難くないとするとその政治的機能は邪魔しない
事実3: その貨幣市場は言い出し難くない
事実4: あの試合内容がしょっぴくということはないならばその異所性気管気管支はアマチュア・スポーツだ
事実5: もしも「その貨幣市場は拒める」ということは成り立つならそれは保護対象でないしかつそれは言い出し難くない
事実6: もしそのシステムは菌体外でないならば「あの試合内容はしょっぴかない」ということは成り立つ
事実7: 仮に「そのシステムは火宅で更に菌体外である」ということは間違っているとするとあの試合内容はしょっぴかない
事実8: もし仮にその貨幣市場が保護対象でないとするとそのシステムは拒めないかあるいは割れ易くないかもしくは両方である
事実9: もしその貨幣市場が拒めるなら言い出し難くない
事実10: このコミュニティ全体は邪魔する
事実11: もしもその貨幣市場が保護対象でないが言い出し難いとすればその政治的機能は邪魔しない
事実12: 「もしそのシステムが拒めるならそのシステムは割れ易いけれどアマチュア・スポーツでない」ということは成り立つ
事実13: もしもそのシステムが割れ易いとしたらその貨幣市場は拒める
事実14: 仮にその貨幣市場が火宅ならばそれは割れ易いということはないし更に拒めるということはない
事実15: もし仮にそのシステムは割れ易くないとすれば「それは火宅であるし更に菌体外である」ということは間違いである
事実16: もしもそのシステムが割れ易い一方でそれがアマチュア・スポーツでないとするとその異所性気管気管支はアマチュア・スポーツだということはない

仮説: 「その異所性気管気管支はアマチュア・スポーツでない」ということは本当である
1. 仮定1: 以下のように仮定する。そのシステムは割れ易い
2. 事実13と仮定1から、推論1: "その貨幣市場は拒める"が導かれる
3. 推論1と事実5から、推論2: "その貨幣市場は保護対象でなくてそれは言い出し難いということはない"が導かれる
4. 推論2と事実2から、推論3: "「その政治的機能は邪魔しない」ということは確かである"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「そのシステムは割れ易くない」ということは事実と異ならない"が導かれる
7. 推論5と事実15から、推論6: "「そのシステムは火宅であるしその上菌体外である」ということは本当でない"が導かれる
8. 推論6と事実7から、推論7: "あの試合内容はしょっぴかない"が導かれる
9. 推論7と事実4から、仮説が否定される

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