あの雇用保険は避け難くない
fact1: その再建築は身体障害児数でない fact2: もしも「あの雇用保険は避け難いということはない」ということは成り立つとすれば第三帝国であるということはない fact3: あの革命運動は千九百三十年代初頭であるけれど小目でない fact4: もし仮にその再建築はアプローチし易くないとすると「避け難くない一方で第三帝国だ」ということは成り立たない fact5: もし仮にその再建築は身体障害児数でないとすると「それはアプローチし易くないがテレビ等である」ということは成り立たない fact6: その再建築はモデル化するけど久しない fact7: もしその再建築は第三帝国でないとすれば「それは金属板でないがしかし身体障害児数である」ということは成り立たない fact8: もしも「「その再建築はごちであるがしかし身体障害児数でない」ということは正しい」ということは誤りであるとするとあの雇用保険は身体障害児数だ fact9: あの雇用保険が金属板であるし更に第三帝国だとすればその再建築はエスノメソドロジーである fact10: もしもあるものはテレビ等であるということはないとしたらそれはエスノメソドロジーでない fact11: 何かはエスノメソドロジーだということはないがしかしそれがテレビ等ならば避け難くない fact12: あの雇用保険は第三帝国だということはない fact13: あの雇用保険が金属板だけれど第三帝国でないとしたらその再建築はエスノメソドロジーだ fact14: 仮に「「とあるものはアプローチし易くないけれどテレビ等である」ということは真実である」ということは偽だとしたらそれはエスノメソドロジーだということはない fact15: 「「あの雇用保険は避け難くない」ということは事実ならばあの雇用保険は金属板である一方で第三帝国であるということはない」ということは本当だ fact16: あの雇用保険は第三帝国でないならば「アプローチし易くないけれど金属板である」ということは誤っている fact17: もしもその全社レベルは持ち歩くとすれば「その再建築はごちだが身体障害児数でない」ということは誤っている fact18: もし「なんらかのものは金属板であるということはないけれどエスノメソドロジーだ」ということは誤っているとすると避け難くない fact19: 仮にその再建築はテレビ等でないならエスノメソドロジーでない fact20: その再建築は久しない fact21: あの雇用保険が金属板だということはないとすればそれは身体障害児数であるけど第三帝国でない
void -> assump1: 以下のように仮定する。あの雇用保険は避け難くない; fact15 & assump1 -> int1: あの雇用保険は金属板であるがしかし第三帝国だということはない; int1 & fact13 -> int2: 「その再建築はエスノメソドロジーである」ということは確かである; fact5 & fact1 -> int3: 「「その再建築はアプローチし易くないがしかしテレビ等である」ということは誤っている」ということは本当である; fact14 -> int4: 「その再建築はアプローチし易くない一方でテレビ等だ」ということは成り立つということはないならば「エスノメソドロジーでない」ということは本当である; int3 & int4 -> int5: その再建築はエスノメソドロジーでない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの雇用保険は避け難くない
fact23 -> int7: あの雇用保険がエスノメソドロジーでないけどテレビ等だとすれば「それは避け難くない」ということは誤りでない;
$facts$ = fact1: その再建築は身体障害児数でない fact2: もしも「あの雇用保険は避け難いということはない」ということは成り立つとすれば第三帝国であるということはない fact3: あの革命運動は千九百三十年代初頭であるけれど小目でない fact4: もし仮にその再建築はアプローチし易くないとすると「避け難くない一方で第三帝国だ」ということは成り立たない fact5: もし仮にその再建築は身体障害児数でないとすると「それはアプローチし易くないがテレビ等である」ということは成り立たない fact6: その再建築はモデル化するけど久しない fact7: もしその再建築は第三帝国でないとすれば「それは金属板でないがしかし身体障害児数である」ということは成り立たない fact8: もしも「「その再建築はごちであるがしかし身体障害児数でない」ということは正しい」ということは誤りであるとするとあの雇用保険は身体障害児数だ fact9: あの雇用保険が金属板であるし更に第三帝国だとすればその再建築はエスノメソドロジーである fact10: もしもあるものはテレビ等であるということはないとしたらそれはエスノメソドロジーでない fact11: 何かはエスノメソドロジーだということはないがしかしそれがテレビ等ならば避け難くない fact12: あの雇用保険は第三帝国だということはない fact13: あの雇用保険が金属板だけれど第三帝国でないとしたらその再建築はエスノメソドロジーだ fact14: 仮に「「とあるものはアプローチし易くないけれどテレビ等である」ということは真実である」ということは偽だとしたらそれはエスノメソドロジーだということはない fact15: 「「あの雇用保険は避け難くない」ということは事実ならばあの雇用保険は金属板である一方で第三帝国であるということはない」ということは本当だ fact16: あの雇用保険は第三帝国でないならば「アプローチし易くないけれど金属板である」ということは誤っている fact17: もしもその全社レベルは持ち歩くとすれば「その再建築はごちだが身体障害児数でない」ということは誤っている fact18: もし「なんらかのものは金属板であるということはないけれどエスノメソドロジーだ」ということは誤っているとすると避け難くない fact19: 仮にその再建築はテレビ等でないならエスノメソドロジーでない fact20: その再建築は久しない fact21: あの雇用保険が金属板だということはないとすればそれは身体障害児数であるけど第三帝国でない ; $hypothesis$ = あの雇用保険は避け難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの雇用保険は避け難くない; fact15 & assump1 -> int1: あの雇用保険は金属板であるがしかし第三帝国だということはない; int1 & fact13 -> int2: 「その再建築はエスノメソドロジーである」ということは確かである; fact5 & fact1 -> int3: 「「その再建築はアプローチし易くないがしかしテレビ等である」ということは誤っている」ということは本当である; fact14 -> int4: 「その再建築はアプローチし易くない一方でテレビ等だ」ということは成り立つということはないならば「エスノメソドロジーでない」ということは本当である; int3 & int4 -> int5: その再建築はエスノメソドロジーでない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その再建築は身体障害児数でない
事実2: もしも「あの雇用保険は避け難いということはない」ということは成り立つとすれば第三帝国であるということはない
事実3: あの革命運動は千九百三十年代初頭であるけれど小目でない
事実4: もし仮にその再建築はアプローチし易くないとすると「避け難くない一方で第三帝国だ」ということは成り立たない
事実5: もし仮にその再建築は身体障害児数でないとすると「それはアプローチし易くないがテレビ等である」ということは成り立たない
事実6: その再建築はモデル化するけど久しない
事実7: もしその再建築は第三帝国でないとすれば「それは金属板でないがしかし身体障害児数である」ということは成り立たない
事実8: もしも「「その再建築はごちであるがしかし身体障害児数でない」ということは正しい」ということは誤りであるとするとあの雇用保険は身体障害児数だ
事実9: あの雇用保険が金属板であるし更に第三帝国だとすればその再建築はエスノメソドロジーである
事実10: もしもあるものはテレビ等であるということはないとしたらそれはエスノメソドロジーでない
事実11: 何かはエスノメソドロジーだということはないがしかしそれがテレビ等ならば避け難くない
事実12: あの雇用保険は第三帝国だということはない
事実13: あの雇用保険が金属板だけれど第三帝国でないとしたらその再建築はエスノメソドロジーだ
事実14: 仮に「「とあるものはアプローチし易くないけれどテレビ等である」ということは真実である」ということは偽だとしたらそれはエスノメソドロジーだということはない
事実15: 「「あの雇用保険は避け難くない」ということは事実ならばあの雇用保険は金属板である一方で第三帝国であるということはない」ということは本当だ
事実16: あの雇用保険は第三帝国でないならば「アプローチし易くないけれど金属板である」ということは誤っている
事実17: もしもその全社レベルは持ち歩くとすれば「その再建築はごちだが身体障害児数でない」ということは誤っている
事実18: もし「なんらかのものは金属板であるということはないけれどエスノメソドロジーだ」ということは誤っているとすると避け難くない
事実19: 仮にその再建築はテレビ等でないならエスノメソドロジーでない
事実20: その再建築は久しない
事実21: あの雇用保険が金属板だということはないとすればそれは身体障害児数であるけど第三帝国でない

仮説: あの雇用保険は避け難くない
1. 仮定1: 以下のように仮定する。あの雇用保険は避け難くない
2. 事実15と仮定1から、推論1: "あの雇用保険は金属板であるがしかし第三帝国だということはない"が導かれる
3. 推論1と事実13から、推論2: "「その再建築はエスノメソドロジーである」ということは確かである"が導かれる
4. 事実5と事実1から、推論3: "「「その再建築はアプローチし易くないがしかしテレビ等である」ということは誤っている」ということは本当である"が導かれる
5. 事実14から、推論4: "「その再建築はアプローチし易くない一方でテレビ等だ」ということは成り立つということはないならば「エスノメソドロジーでない」ということは本当である"が導かれる
6. 推論3と推論4から、推論5: "その再建築はエスノメソドロジーでない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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