その築後は神々しい
fact1: 仮に何かは強調するとすると「地下水脈でない」ということは本当だ fact2: もしもあの有効回収数は熱伝導率でないとしたら「障害発生であるしその上個人的身体である」ということは間違いである fact3: もしも「「障害発生であるし個人的身体だ」ということは嘘な」物はあれば「あの外国為替レートは強調する」ということは確かである fact4: あの能楽界は強調する fact5: 「何らかのものは地下水脈だが免許取り消しでない」ということは誤りだとすれば神々しかない fact6: ネット架は人気振りであるということはない fact7: 仮にあの能楽界は滲炭しないとすると「それは日進月歩であるし更にそれはネット架でない」ということは成り立たない fact8: もしもあの外国為替レートが地下水脈であるということはないならばこの生涯独身は日進月歩であるかもしくは免許取り消しであるかもしくはどちらもである fact9: あの入船亭は影響され易い fact10: 「あの入船亭は熱伝導率だ」ということは本当だ fact11: あの能楽界は免許取り消しでないとしたら「その築後は地下水脈である一方で免許取り消しでない」ということは本当だということはない fact12: もし仮にあの能楽界が強調するとすると日進月歩でおまけにネット架でない fact13: もし仮にあの入船亭が影響され易いとすると競争出来る fact14: もしも「何かは滲炭しないしかつそれは人気振りでない」ということは間違いであるとするとそれは免許取り消しでない fact15: 仮にあの入船亭が熱伝導率であるし競争出来るとしたらあの有効回収数は熱伝導率でない fact16: もし仮にこの生涯独身が日進月歩であるとするとあの能楽界はネット架である
void -> assump1: 以下のように仮定する。あの能楽界は滲炭しないし人気振りでない; assump1 -> int1: あの能楽界は滲炭しない; int1 & fact7 -> int2: 「あの能楽界は日進月歩だけどネット架でない」ということは間違いだ; fact4 & fact12 -> int3: あの能楽界は日進月歩だ一方でネット架でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「「あの能楽界は滲炭しないし人気振りでない」ということは成り立つ」ということは誤っている」ということは成り立つ; fact14 -> int6: 「あの能楽界は滲炭しなくてそれは人気振りでない」ということは間違いであるならそれは免許取り消しだということはない; int5 & int6 -> int7: あの能楽界は免許取り消しでない; int7 & fact11 -> int8: 「その築後は地下水脈であるけどそれは免許取り消しでない」ということは成り立たない; fact5 -> int9: もし「その築後は地下水脈であるけれどそれは免許取り消しでない」ということは誤りだとしたらそれは神々しかない; int8 & int9 -> hypothesis;
その築後は神々しい
fact20 -> int10: 仮にあの能楽界はネット架であるならばそれは人気振りでない; fact25 -> int11: もし仮に「あの外国為替レートは強調する」ということは正しいとするとそれは地下水脈でない; fact17 & fact22 -> int12: あの入船亭は競争出来る; fact26 & int12 -> int13: あの入船亭は熱伝導率でかつ競争出来る; fact19 & int13 -> int14: あの有効回収数は熱伝導率でない; fact24 & int14 -> int15: 「あの有効回収数が障害発生だしそれは個人的身体である」ということは誤りである; int15 -> int16: 「「障害発生だしそれに個人的身体である」ということは確かでない」物はある; int16 & fact18 -> int17: あの外国為替レートは強調する; int11 & int17 -> int18: あの外国為替レートは地下水脈でない; fact21 & int18 -> int19: この生涯独身は日進月歩であるかあるいは免許取り消しだ;
$facts$ = fact1: 仮に何かは強調するとすると「地下水脈でない」ということは本当だ fact2: もしもあの有効回収数は熱伝導率でないとしたら「障害発生であるしその上個人的身体である」ということは間違いである fact3: もしも「「障害発生であるし個人的身体だ」ということは嘘な」物はあれば「あの外国為替レートは強調する」ということは確かである fact4: あの能楽界は強調する fact5: 「何らかのものは地下水脈だが免許取り消しでない」ということは誤りだとすれば神々しかない fact6: ネット架は人気振りであるということはない fact7: 仮にあの能楽界は滲炭しないとすると「それは日進月歩であるし更にそれはネット架でない」ということは成り立たない fact8: もしもあの外国為替レートが地下水脈であるということはないならばこの生涯独身は日進月歩であるかもしくは免許取り消しであるかもしくはどちらもである fact9: あの入船亭は影響され易い fact10: 「あの入船亭は熱伝導率だ」ということは本当だ fact11: あの能楽界は免許取り消しでないとしたら「その築後は地下水脈である一方で免許取り消しでない」ということは本当だということはない fact12: もし仮にあの能楽界が強調するとすると日進月歩でおまけにネット架でない fact13: もし仮にあの入船亭が影響され易いとすると競争出来る fact14: もしも「何かは滲炭しないしかつそれは人気振りでない」ということは間違いであるとするとそれは免許取り消しでない fact15: 仮にあの入船亭が熱伝導率であるし競争出来るとしたらあの有効回収数は熱伝導率でない fact16: もし仮にこの生涯独身が日進月歩であるとするとあの能楽界はネット架である ; $hypothesis$ = その築後は神々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの能楽界は滲炭しないし人気振りでない; assump1 -> int1: あの能楽界は滲炭しない; int1 & fact7 -> int2: 「あの能楽界は日進月歩だけどネット架でない」ということは間違いだ; fact4 & fact12 -> int3: あの能楽界は日進月歩だ一方でネット架でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「「あの能楽界は滲炭しないし人気振りでない」ということは成り立つ」ということは誤っている」ということは成り立つ; fact14 -> int6: 「あの能楽界は滲炭しなくてそれは人気振りでない」ということは間違いであるならそれは免許取り消しだということはない; int5 & int6 -> int7: あの能楽界は免許取り消しでない; int7 & fact11 -> int8: 「その築後は地下水脈であるけどそれは免許取り消しでない」ということは成り立たない; fact5 -> int9: もし「その築後は地下水脈であるけれどそれは免許取り消しでない」ということは誤りだとしたらそれは神々しかない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 仮に何かは強調するとすると「地下水脈でない」ということは本当だ
事実2: もしもあの有効回収数は熱伝導率でないとしたら「障害発生であるしその上個人的身体である」ということは間違いである
事実3: もしも「「障害発生であるし個人的身体だ」ということは嘘な」物はあれば「あの外国為替レートは強調する」ということは確かである
事実4: あの能楽界は強調する
事実5: 「何らかのものは地下水脈だが免許取り消しでない」ということは誤りだとすれば神々しかない
事実6: ネット架は人気振りであるということはない
事実7: 仮にあの能楽界は滲炭しないとすると「それは日進月歩であるし更にそれはネット架でない」ということは成り立たない
事実8: もしもあの外国為替レートが地下水脈であるということはないならばこの生涯独身は日進月歩であるかもしくは免許取り消しであるかもしくはどちらもである
事実9: あの入船亭は影響され易い
事実10: 「あの入船亭は熱伝導率だ」ということは本当だ
事実11: あの能楽界は免許取り消しでないとしたら「その築後は地下水脈である一方で免許取り消しでない」ということは本当だということはない
事実12: もし仮にあの能楽界が強調するとすると日進月歩でおまけにネット架でない
事実13: もし仮にあの入船亭が影響され易いとすると競争出来る
事実14: もしも「何かは滲炭しないしかつそれは人気振りでない」ということは間違いであるとするとそれは免許取り消しでない
事実15: 仮にあの入船亭が熱伝導率であるし競争出来るとしたらあの有効回収数は熱伝導率でない
事実16: もし仮にこの生涯独身が日進月歩であるとするとあの能楽界はネット架である

仮説: その築後は神々しい
1. 仮定1: 以下のように仮定する。あの能楽界は滲炭しないし人気振りでない
2. 仮定1から、推論1: "あの能楽界は滲炭しない"が導かれる
3. 推論1と事実7から、推論2: "「あの能楽界は日進月歩だけどネット架でない」ということは間違いだ"が導かれる
4. 事実4と事実12から、推論3: "あの能楽界は日進月歩だ一方でネット架でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「「「あの能楽界は滲炭しないし人気振りでない」ということは成り立つ」ということは誤っている」ということは成り立つ"が導かれる
7. 事実14から、推論6: "「あの能楽界は滲炭しなくてそれは人気振りでない」ということは間違いであるならそれは免許取り消しだということはない"が導かれる
8. 推論5と推論6から、推論7: "あの能楽界は免許取り消しでない"が導かれる
9. 推論7と事実11から、推論8: "「その築後は地下水脈であるけどそれは免許取り消しでない」ということは成り立たない"が導かれる
10. 事実5から、推論9: "もし「その築後は地下水脈であるけれどそれは免許取り消しでない」ということは誤りだとしたらそれは神々しかない"が導かれる
11. 推論8と推論9から、仮説が否定される

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