「もし仮にあのビュアーは算定し難いならば「そのメラニン色素は読み辛くない」ということは正しい」ということは本当だということはない
fact1: この病因は日本中央競馬会であるということはないかあるいはそれは五族だ fact2: そのメラニン色素は読み辛い fact3: 仮にとあるものは受け入れ難くないとすると「それは近世初頭だということはないが聴講である」ということは本当でない fact4: もしこの麦扱きが聴講でないならそのメラニン色素は読み辛い fact5: もしもあのビュアーが算定し難いとしたらこの病因は日本中央競馬会でないかあるいはそれは五族であるかもしくは両方だ fact6: もし仮にこの病因が日本中央競馬会でないかあるいは五族でないならこの麦扱きは近世初頭でない fact7: 「「近世初頭であるしその上算定し難い」ということは嘘な」ものはある fact8: もし仮にこの麦扱きが破門するということはないけどそれが受け入れ難いとすればあの病因は受け入れ難い fact9: もし仮に「しがない」ものがあるならこの麦扱きは受け入れ難くない fact10: もし仮に何らかの物が対策するけれど系列化でないならばあのメラニン色素は鏤めない fact11: もしもなにかは鏤めないならばこの麦扱きはしがなくない fact12: もしもこの麦扱きが聴講でないとすればそのメラニン色素は読み辛くない fact13: もしあのビュアーが算定し難いとしたらこの病因は日本中央競馬会でないかもしくは五族でないかまたはどちらもである fact14: 「あの損亡はしがないし破門する」ということは成り立たない fact15: もしも「あのビュアーは読み辛くない」ということは確かだとすればその少子・高齢社会は近世初頭でまた聴講である fact16: 仮にあのビュアーが算定し難いならばこの病因は日本中央競馬会であるかもしくは五族でないかあるいは両方である fact17: あの損亡は対策するけどそれは系列化でない fact18: この病因は日本中央競馬会であるかあるいは五族でないかまたは両方ともである fact19: 「「しがないし破門する」ということは成り立たない」ものはある fact20: 「あの損亡はしがなくないけれど破門する」ということは成り立たない fact21: 仮にあのビュアーが算定し難いならそのメラニン色素は読み辛い fact22: もしこの病因が受け入れ難いとしたらあのビュアーは読み辛くない fact23: 仮に「「「しがなくない一方で破門する」ということは嘘な」物はある」ということは成り立つとするとこの麦扱きは受け入れ難くない fact24: 近世初頭は精神変容効果でないか算定し難くないか両方だ
void -> assump1: 以下のように仮定する。あのビュアーは算定し難い; fact13 & assump1 -> int1: この病因は日本中央競馬会でないかあるいはそれは五族でない; int1 & fact6 -> int2: この麦扱きは近世初頭でない; void -> assump2: 以下のように仮定する。この麦扱きは聴講である; int2 & assump2 -> int3: この麦扱きは近世初頭でないけれど聴講である; fact3 -> int4: 仮に「この麦扱きは受け入れ難くない」ということは本当であるとすると「それは近世初頭でないがしかし聴講だ」ということは間違いだ; fact20 -> int5: 「「「しがなくないけれど破門する」ということは成り立つ」ということは誤っている」ものはある; fact23 & int5 -> int6: この麦扱きは受け入れ難くない; int4 & int6 -> int7: 「この麦扱きは近世初頭でない一方で聴講だ」ということは成り立たない; int3 & int7 -> int8: これは矛盾である; [assump2] & int8 -> int9: 「この麦扱きは聴講でない」ということは事実である; int9 & fact12 -> int10: そのメラニン色素は読み辛くない; [assump1] & int10 -> hypothesis;
その少子・高齢社会は精神変容効果でないかもしくはそれは算定し難くない
fact25 -> int11: もしその少子・高齢社会は近世初頭であるとすればそれは精神変容効果だということはないか算定し難くないかあるいはどちらもだ; fact28 -> int12: 「対策するし加えて系列化でない」ものはある; int12 & fact27 -> int13: そのメラニン色素は鏤めない; int13 -> int14: なんらかのものは鏤めるということはない; int14 & fact31 -> int15: この麦扱きはしがなくない;
$facts$ = fact1: この病因は日本中央競馬会であるということはないかあるいはそれは五族だ fact2: そのメラニン色素は読み辛い fact3: 仮にとあるものは受け入れ難くないとすると「それは近世初頭だということはないが聴講である」ということは本当でない fact4: もしこの麦扱きが聴講でないならそのメラニン色素は読み辛い fact5: もしもあのビュアーが算定し難いとしたらこの病因は日本中央競馬会でないかあるいはそれは五族であるかもしくは両方だ fact6: もし仮にこの病因が日本中央競馬会でないかあるいは五族でないならこの麦扱きは近世初頭でない fact7: 「「近世初頭であるしその上算定し難い」ということは嘘な」ものはある fact8: もし仮にこの麦扱きが破門するということはないけどそれが受け入れ難いとすればあの病因は受け入れ難い fact9: もし仮に「しがない」ものがあるならこの麦扱きは受け入れ難くない fact10: もし仮に何らかの物が対策するけれど系列化でないならばあのメラニン色素は鏤めない fact11: もしもなにかは鏤めないならばこの麦扱きはしがなくない fact12: もしもこの麦扱きが聴講でないとすればそのメラニン色素は読み辛くない fact13: もしあのビュアーが算定し難いとしたらこの病因は日本中央競馬会でないかもしくは五族でないかまたはどちらもである fact14: 「あの損亡はしがないし破門する」ということは成り立たない fact15: もしも「あのビュアーは読み辛くない」ということは確かだとすればその少子・高齢社会は近世初頭でまた聴講である fact16: 仮にあのビュアーが算定し難いならばこの病因は日本中央競馬会であるかもしくは五族でないかあるいは両方である fact17: あの損亡は対策するけどそれは系列化でない fact18: この病因は日本中央競馬会であるかあるいは五族でないかまたは両方ともである fact19: 「「しがないし破門する」ということは成り立たない」ものはある fact20: 「あの損亡はしがなくないけれど破門する」ということは成り立たない fact21: 仮にあのビュアーが算定し難いならそのメラニン色素は読み辛い fact22: もしこの病因が受け入れ難いとしたらあのビュアーは読み辛くない fact23: 仮に「「「しがなくない一方で破門する」ということは嘘な」物はある」ということは成り立つとするとこの麦扱きは受け入れ難くない fact24: 近世初頭は精神変容効果でないか算定し難くないか両方だ ; $hypothesis$ = 「もし仮にあのビュアーは算定し難いならば「そのメラニン色素は読み辛くない」ということは正しい」ということは本当だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのビュアーは算定し難い; fact13 & assump1 -> int1: この病因は日本中央競馬会でないかあるいはそれは五族でない; int1 & fact6 -> int2: この麦扱きは近世初頭でない; void -> assump2: 以下のように仮定する。この麦扱きは聴講である; int2 & assump2 -> int3: この麦扱きは近世初頭でないけれど聴講である; fact3 -> int4: 仮に「この麦扱きは受け入れ難くない」ということは本当であるとすると「それは近世初頭でないがしかし聴講だ」ということは間違いだ; fact20 -> int5: 「「「しがなくないけれど破門する」ということは成り立つ」ということは誤っている」ものはある; fact23 & int5 -> int6: この麦扱きは受け入れ難くない; int4 & int6 -> int7: 「この麦扱きは近世初頭でない一方で聴講だ」ということは成り立たない; int3 & int7 -> int8: これは矛盾である; [assump2] & int8 -> int9: 「この麦扱きは聴講でない」ということは事実である; int9 & fact12 -> int10: そのメラニン色素は読み辛くない; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: この病因は日本中央競馬会であるということはないかあるいはそれは五族だ
事実2: そのメラニン色素は読み辛い
事実3: 仮にとあるものは受け入れ難くないとすると「それは近世初頭だということはないが聴講である」ということは本当でない
事実4: もしこの麦扱きが聴講でないならそのメラニン色素は読み辛い
事実5: もしもあのビュアーが算定し難いとしたらこの病因は日本中央競馬会でないかあるいはそれは五族であるかもしくは両方だ
事実6: もし仮にこの病因が日本中央競馬会でないかあるいは五族でないならこの麦扱きは近世初頭でない
事実7: 「「近世初頭であるしその上算定し難い」ということは嘘な」ものはある
事実8: もし仮にこの麦扱きが破門するということはないけどそれが受け入れ難いとすればあの病因は受け入れ難い
事実9: もし仮に「しがない」ものがあるならこの麦扱きは受け入れ難くない
事実10: もし仮に何らかの物が対策するけれど系列化でないならばあのメラニン色素は鏤めない
事実11: もしもなにかは鏤めないならばこの麦扱きはしがなくない
事実12: もしもこの麦扱きが聴講でないとすればそのメラニン色素は読み辛くない
事実13: もしあのビュアーが算定し難いとしたらこの病因は日本中央競馬会でないかもしくは五族でないかまたはどちらもである
事実14: 「あの損亡はしがないし破門する」ということは成り立たない
事実15: もしも「あのビュアーは読み辛くない」ということは確かだとすればその少子・高齢社会は近世初頭でまた聴講である
事実16: 仮にあのビュアーが算定し難いならばこの病因は日本中央競馬会であるかもしくは五族でないかあるいは両方である
事実17: あの損亡は対策するけどそれは系列化でない
事実18: この病因は日本中央競馬会であるかあるいは五族でないかまたは両方ともである
事実19: 「「しがないし破門する」ということは成り立たない」ものはある
事実20: 「あの損亡はしがなくないけれど破門する」ということは成り立たない
事実21: 仮にあのビュアーが算定し難いならそのメラニン色素は読み辛い
事実22: もしこの病因が受け入れ難いとしたらあのビュアーは読み辛くない
事実23: 仮に「「「しがなくない一方で破門する」ということは嘘な」物はある」ということは成り立つとするとこの麦扱きは受け入れ難くない
事実24: 近世初頭は精神変容効果でないか算定し難くないか両方だ

仮説: 「もし仮にあのビュアーは算定し難いならば「そのメラニン色素は読み辛くない」ということは正しい」ということは本当だということはない
1. 仮定1: 以下のように仮定する。あのビュアーは算定し難い
2. 事実13と仮定1から、推論1: "この病因は日本中央競馬会でないかあるいはそれは五族でない"が導かれる
3. 推論1と事実6から、推論2: "この麦扱きは近世初頭でない"が導かれる
4. 仮定2: 以下のように仮定する。この麦扱きは聴講である
5. 推論2と仮定2から、推論3: "この麦扱きは近世初頭でないけれど聴講である"が導かれる
6. 事実3から、推論4: "仮に「この麦扱きは受け入れ難くない」ということは本当であるとすると「それは近世初頭でないがしかし聴講だ」ということは間違いだ"が導かれる
7. 事実20から、推論5: "「「「しがなくないけれど破門する」ということは成り立つ」ということは誤っている」ものはある"が導かれる
8. 事実23と推論5から、推論6: "この麦扱きは受け入れ難くない"が導かれる
9. 推論4と推論6から、推論7: "「この麦扱きは近世初頭でない一方で聴講だ」ということは成り立たない"が導かれる
10. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
11. [仮定2]と推論8から、推論9: "「この麦扱きは聴講でない」ということは事実である"が導かれる
12. 推論9と事実12から、推論10: "そのメラニン色素は読み辛くない"が導かれる
13. [仮定1]と推論10から、仮説が否定される

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