「もしもあのソフト・パワーはバランス・スコアカード・モデルなら「そのメシル酸ブロモクリプチンは一レースでないかもしくは成り掛かるかまたはどちらもである」ということは成り立つということはない」ということは事実でない
fact1: そのメシル酸ブロモクリプチンは剥がれ易い fact2: もし仮に「その租は剥がれ易い」ということは間違っていないとすると「そのメシル酸ブロモクリプチンは一レースであるかもしくはそれは中国・日本である」ということは間違いである fact3: そのメシル酸ブロモクリプチンは聞き辛いとしたら「一レースでないかあるいはそれは成り掛かるかあるいはどちらもである」ということは嘘だ fact4: もし仮にその租はバランス・スコアカード・モデルであるなら「一レースでないかあるいはそれは中国・日本であるかもしくは両方だ」ということは嘘である fact5: もし仮にあのソフト・パワーはバランス・スコアカード・モデルだとしたら「「その租は剥がれ易い一方で中国・日本でない」ということは事実である」ということは誤っている fact6: もしその租はバランス・スコアカード・モデルなら「あのソフト・パワーは中国・日本であるけど聞き辛いということはない」ということは間違っている fact7: 「仮にそのメシル酸ブロモクリプチンが成り掛かるとすればそのメシル酸ブロモクリプチンは聞き辛くないかまたは中国・日本であるか両方だ」ということは確かである fact8: もし仮にそのメシル酸ブロモクリプチンは聞き辛いとすれば「一レースでないかあるいは成り掛かる」ということは成り立つ fact9: もし仮にその租は聞き辛いなら「それは剥がれ易いかまたはそれは成り掛かるかまたはどちらもである」ということは事実と異なる fact10: 「「その租は剥がれ易い一方で中国・日本だということはない」ということは本当である」ということは間違っているとするとそのメシル酸ブロモクリプチンは聞き辛い fact11: もし仮に「その租は剥がれ易い」ということは確かであるとすれば「あのソフト・パワーはバランス・スコアカード・モデルだがそれは中国・日本でない」ということは事実と異なる fact12: その租が剥がれ易いならばそのメシル酸ブロモクリプチンは一レースでないか中国・日本であるか両方ともだ fact13: 仮にそのメシル酸ブロモクリプチンが中国・日本だとするとその租は成り掛からないかあるいはそれは一レースであるかもしくは両方ともだ fact14: もしもそのメシル酸ブロモクリプチンは成り掛かるとしたら「その租は剥がれ易くないか聞き辛い」ということは本当でない fact15: もしそのメシル酸ブロモクリプチンが聞き辛いとすると成り掛からない fact16: 「そのメシル酸ブロモクリプチンはバランス・スコアカード・モデルであるかまたはそれは日本らしいかあるいは両方である」ということは成り立つということはない fact17: もしもあのソフト・パワーはバランス・スコアカード・モデルであるなら「そのメシル酸ブロモクリプチンは成り掛かる」ということは成り立たない fact18: 「その租は剥がれ易くないかまたは聞き辛いかまたは両方ともだ」ということは事実と異なる fact19: もしもそのメシル酸ブロモクリプチンはバランス・スコアカード・モデルだとしたら「剥がれ易いかあるいは聞き辛いかまたはどちらもである」ということは成り立つということはない fact20: もし仮にあのソフト・パワーは中国・日本であるなら「バランス・スコアカード・モデルでないかまたは一レースであるかまたは両方である」ということは真実でない fact21: その租は剥がれ易いということはないかもしくはそれは一レースであるかまたは両方ともである fact22: 「その租は犯し易い一方で成り掛からない」ということは誤っている
void -> assump1: 以下のように仮定する。あのソフト・パワーはバランス・スコアカード・モデルだ; fact5 & assump1 -> int1: 「その租は剥がれ易いけど中国・日本でない」ということは嘘だ; int1 & fact10 -> int2: そのメシル酸ブロモクリプチンは聞き辛い; int2 & fact3 -> int3: 「そのメシル酸ブロモクリプチンは一レースでないかもしくは成り掛かるか両方ともだ」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのメシル酸ブロモクリプチンは剥がれ易い fact2: もし仮に「その租は剥がれ易い」ということは間違っていないとすると「そのメシル酸ブロモクリプチンは一レースであるかもしくはそれは中国・日本である」ということは間違いである fact3: そのメシル酸ブロモクリプチンは聞き辛いとしたら「一レースでないかあるいはそれは成り掛かるかあるいはどちらもである」ということは嘘だ fact4: もし仮にその租はバランス・スコアカード・モデルであるなら「一レースでないかあるいはそれは中国・日本であるかもしくは両方だ」ということは嘘である fact5: もし仮にあのソフト・パワーはバランス・スコアカード・モデルだとしたら「「その租は剥がれ易い一方で中国・日本でない」ということは事実である」ということは誤っている fact6: もしその租はバランス・スコアカード・モデルなら「あのソフト・パワーは中国・日本であるけど聞き辛いということはない」ということは間違っている fact7: 「仮にそのメシル酸ブロモクリプチンが成り掛かるとすればそのメシル酸ブロモクリプチンは聞き辛くないかまたは中国・日本であるか両方だ」ということは確かである fact8: もし仮にそのメシル酸ブロモクリプチンは聞き辛いとすれば「一レースでないかあるいは成り掛かる」ということは成り立つ fact9: もし仮にその租は聞き辛いなら「それは剥がれ易いかまたはそれは成り掛かるかまたはどちらもである」ということは事実と異なる fact10: 「「その租は剥がれ易い一方で中国・日本だということはない」ということは本当である」ということは間違っているとするとそのメシル酸ブロモクリプチンは聞き辛い fact11: もし仮に「その租は剥がれ易い」ということは確かであるとすれば「あのソフト・パワーはバランス・スコアカード・モデルだがそれは中国・日本でない」ということは事実と異なる fact12: その租が剥がれ易いならばそのメシル酸ブロモクリプチンは一レースでないか中国・日本であるか両方ともだ fact13: 仮にそのメシル酸ブロモクリプチンが中国・日本だとするとその租は成り掛からないかあるいはそれは一レースであるかもしくは両方ともだ fact14: もしもそのメシル酸ブロモクリプチンは成り掛かるとしたら「その租は剥がれ易くないか聞き辛い」ということは本当でない fact15: もしそのメシル酸ブロモクリプチンが聞き辛いとすると成り掛からない fact16: 「そのメシル酸ブロモクリプチンはバランス・スコアカード・モデルであるかまたはそれは日本らしいかあるいは両方である」ということは成り立つということはない fact17: もしもあのソフト・パワーはバランス・スコアカード・モデルであるなら「そのメシル酸ブロモクリプチンは成り掛かる」ということは成り立たない fact18: 「その租は剥がれ易くないかまたは聞き辛いかまたは両方ともだ」ということは事実と異なる fact19: もしもそのメシル酸ブロモクリプチンはバランス・スコアカード・モデルだとしたら「剥がれ易いかあるいは聞き辛いかまたはどちらもである」ということは成り立つということはない fact20: もし仮にあのソフト・パワーは中国・日本であるなら「バランス・スコアカード・モデルでないかまたは一レースであるかまたは両方である」ということは真実でない fact21: その租は剥がれ易いということはないかもしくはそれは一レースであるかまたは両方ともである fact22: 「その租は犯し易い一方で成り掛からない」ということは誤っている ; $hypothesis$ = 「もしもあのソフト・パワーはバランス・スコアカード・モデルなら「そのメシル酸ブロモクリプチンは一レースでないかもしくは成り掛かるかまたはどちらもである」ということは成り立つということはない」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのソフト・パワーはバランス・スコアカード・モデルだ; fact5 & assump1 -> int1: 「その租は剥がれ易いけど中国・日本でない」ということは嘘だ; int1 & fact10 -> int2: そのメシル酸ブロモクリプチンは聞き辛い; int2 & fact3 -> int3: 「そのメシル酸ブロモクリプチンは一レースでないかもしくは成り掛かるか両方ともだ」ということは成り立たない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: そのメシル酸ブロモクリプチンは剥がれ易い
事実2: もし仮に「その租は剥がれ易い」ということは間違っていないとすると「そのメシル酸ブロモクリプチンは一レースであるかもしくはそれは中国・日本である」ということは間違いである
事実3: そのメシル酸ブロモクリプチンは聞き辛いとしたら「一レースでないかあるいはそれは成り掛かるかあるいはどちらもである」ということは嘘だ
事実4: もし仮にその租はバランス・スコアカード・モデルであるなら「一レースでないかあるいはそれは中国・日本であるかもしくは両方だ」ということは嘘である
事実5: もし仮にあのソフト・パワーはバランス・スコアカード・モデルだとしたら「「その租は剥がれ易い一方で中国・日本でない」ということは事実である」ということは誤っている
事実6: もしその租はバランス・スコアカード・モデルなら「あのソフト・パワーは中国・日本であるけど聞き辛いということはない」ということは間違っている
事実7: 「仮にそのメシル酸ブロモクリプチンが成り掛かるとすればそのメシル酸ブロモクリプチンは聞き辛くないかまたは中国・日本であるか両方だ」ということは確かである
事実8: もし仮にそのメシル酸ブロモクリプチンは聞き辛いとすれば「一レースでないかあるいは成り掛かる」ということは成り立つ
事実9: もし仮にその租は聞き辛いなら「それは剥がれ易いかまたはそれは成り掛かるかまたはどちらもである」ということは事実と異なる
事実10: 「「その租は剥がれ易い一方で中国・日本だということはない」ということは本当である」ということは間違っているとするとそのメシル酸ブロモクリプチンは聞き辛い
事実11: もし仮に「その租は剥がれ易い」ということは確かであるとすれば「あのソフト・パワーはバランス・スコアカード・モデルだがそれは中国・日本でない」ということは事実と異なる
事実12: その租が剥がれ易いならばそのメシル酸ブロモクリプチンは一レースでないか中国・日本であるか両方ともだ
事実13: 仮にそのメシル酸ブロモクリプチンが中国・日本だとするとその租は成り掛からないかあるいはそれは一レースであるかもしくは両方ともだ
事実14: もしもそのメシル酸ブロモクリプチンは成り掛かるとしたら「その租は剥がれ易くないか聞き辛い」ということは本当でない
事実15: もしそのメシル酸ブロモクリプチンが聞き辛いとすると成り掛からない
事実16: 「そのメシル酸ブロモクリプチンはバランス・スコアカード・モデルであるかまたはそれは日本らしいかあるいは両方である」ということは成り立つということはない
事実17: もしもあのソフト・パワーはバランス・スコアカード・モデルであるなら「そのメシル酸ブロモクリプチンは成り掛かる」ということは成り立たない
事実18: 「その租は剥がれ易くないかまたは聞き辛いかまたは両方ともだ」ということは事実と異なる
事実19: もしもそのメシル酸ブロモクリプチンはバランス・スコアカード・モデルだとしたら「剥がれ易いかあるいは聞き辛いかまたはどちらもである」ということは成り立つということはない
事実20: もし仮にあのソフト・パワーは中国・日本であるなら「バランス・スコアカード・モデルでないかまたは一レースであるかまたは両方である」ということは真実でない
事実21: その租は剥がれ易いということはないかもしくはそれは一レースであるかまたは両方ともである
事実22: 「その租は犯し易い一方で成り掛からない」ということは誤っている

仮説: 「もしもあのソフト・パワーはバランス・スコアカード・モデルなら「そのメシル酸ブロモクリプチンは一レースでないかもしくは成り掛かるかまたはどちらもである」ということは成り立つということはない」ということは事実でない
1. 仮定1: 以下のように仮定する。あのソフト・パワーはバランス・スコアカード・モデルだ
2. 事実5と仮定1から、推論1: "「その租は剥がれ易いけど中国・日本でない」ということは嘘だ"が導かれる
3. 推論1と事実10から、推論2: "そのメシル酸ブロモクリプチンは聞き辛い"が導かれる
4. 推論2と事実3から、推論3: "「そのメシル酸ブロモクリプチンは一レースでないかもしくは成り掛かるか両方ともだ」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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