あの顕密は初来日するということはない
fact1: その都市社会は排する fact2: この好成績は都内某店・等価交換でないとすれば「そのデキサメタゾン抑制試験は黒い」ということは正しい fact3: もし仮にそのマイクロフィラメントは白っぽくないしその上擬制的性格でないなら都内某店・等価交換でない fact4: そのデキサメタゾン抑制試験は排する fact5: 仮に「「擬制的性格でなくて予測し難い」ということは成り立たない」ものがあるとしたらあの顕密は初来日する fact6: そのマイクロフィラメントは擬制的性格だということはない一方で予測し難いとすると「この好成績は都内某店・等価交換でない」ということは誤っていない fact7: もし仮に「あの顕密は疑い深さでないがしかしそれは排する」ということは間違っているとすればそのデキサメタゾン抑制試験は排しない fact8: もしも「あの海洋帝国は粗いかもしくはそれは掘削するということはない」ということは成り立つということはないとするとこの金城原図は掘削しない fact9: もし仮にそのマイクロフィラメントが無権代理人でないならこのサロメ像は初来日する fact10: もしもなにかは無権代理人でないししかも白っぽくないとしたら黒いということはない fact11: 黒い物は尊くないが都内某店・等価交換だ fact12: もし仮にそのデキサメタゾン抑制試験は排しないなら「この好成績は白っぽくない一方でそれは無権代理人である」ということは成り立たない fact13: もしある物が初来日するとすればそれは黒い fact14: 無権代理人は黒いということはないけれど都内某店・等価交換だ fact15: もしもそのデキサメタゾン抑制試験が排するならそれは無権代理人でないしかつ白っぽくない fact16: 「この好成績は白っぽくないがしかしそれは無権代理人である」ということは成り立たないとするとそのマイクロフィラメントは無権代理人でない
void -> assump1: 以下のように仮定する。そのマイクロフィラメントは擬制的性格でないがしかし予測し難い; fact6 & assump1 -> int1: この好成績は都内某店・等価交換であるということはない; int1 & fact2 -> int2: 「そのデキサメタゾン抑制試験は黒い」ということは誤っていない; fact15 & fact4 -> int3: そのデキサメタゾン抑制試験は無権代理人でなくて白っぽくない; fact10 -> int4: もし仮にそのデキサメタゾン抑制試験が無権代理人でなくて白っぽくないならば黒くない; int3 & int4 -> int5: そのデキサメタゾン抑制試験は黒くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「そのマイクロフィラメントは擬制的性格であるということはないけど予測し難い」ということは本当である」ということは間違いである; int7 -> int8: 「「擬制的性格でなくて予測し難い」ということは成り立たない」物はある; int8 & fact5 -> hypothesis;
このサロメ像は尊くないけれどそれは都内某店・等価交換だ
fact23 -> int9: このサロメ像が黒いとすると尊くないけれど都内某店・等価交換である; fact19 -> int10: もしこのサロメ像が初来日するとしたらそれは黒い;
$facts$ = fact1: その都市社会は排する fact2: この好成績は都内某店・等価交換でないとすれば「そのデキサメタゾン抑制試験は黒い」ということは正しい fact3: もし仮にそのマイクロフィラメントは白っぽくないしその上擬制的性格でないなら都内某店・等価交換でない fact4: そのデキサメタゾン抑制試験は排する fact5: 仮に「「擬制的性格でなくて予測し難い」ということは成り立たない」ものがあるとしたらあの顕密は初来日する fact6: そのマイクロフィラメントは擬制的性格だということはない一方で予測し難いとすると「この好成績は都内某店・等価交換でない」ということは誤っていない fact7: もし仮に「あの顕密は疑い深さでないがしかしそれは排する」ということは間違っているとすればそのデキサメタゾン抑制試験は排しない fact8: もしも「あの海洋帝国は粗いかもしくはそれは掘削するということはない」ということは成り立つということはないとするとこの金城原図は掘削しない fact9: もし仮にそのマイクロフィラメントが無権代理人でないならこのサロメ像は初来日する fact10: もしもなにかは無権代理人でないししかも白っぽくないとしたら黒いということはない fact11: 黒い物は尊くないが都内某店・等価交換だ fact12: もし仮にそのデキサメタゾン抑制試験は排しないなら「この好成績は白っぽくない一方でそれは無権代理人である」ということは成り立たない fact13: もしある物が初来日するとすればそれは黒い fact14: 無権代理人は黒いということはないけれど都内某店・等価交換だ fact15: もしもそのデキサメタゾン抑制試験が排するならそれは無権代理人でないしかつ白っぽくない fact16: 「この好成績は白っぽくないがしかしそれは無権代理人である」ということは成り立たないとするとそのマイクロフィラメントは無権代理人でない ; $hypothesis$ = あの顕密は初来日するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのマイクロフィラメントは擬制的性格でないがしかし予測し難い; fact6 & assump1 -> int1: この好成績は都内某店・等価交換であるということはない; int1 & fact2 -> int2: 「そのデキサメタゾン抑制試験は黒い」ということは誤っていない; fact15 & fact4 -> int3: そのデキサメタゾン抑制試験は無権代理人でなくて白っぽくない; fact10 -> int4: もし仮にそのデキサメタゾン抑制試験が無権代理人でなくて白っぽくないならば黒くない; int3 & int4 -> int5: そのデキサメタゾン抑制試験は黒くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「そのマイクロフィラメントは擬制的性格であるということはないけど予測し難い」ということは本当である」ということは間違いである; int7 -> int8: 「「擬制的性格でなくて予測し難い」ということは成り立たない」物はある; int8 & fact5 -> hypothesis; __DISPROVED__
事実1: その都市社会は排する
事実2: この好成績は都内某店・等価交換でないとすれば「そのデキサメタゾン抑制試験は黒い」ということは正しい
事実3: もし仮にそのマイクロフィラメントは白っぽくないしその上擬制的性格でないなら都内某店・等価交換でない
事実4: そのデキサメタゾン抑制試験は排する
事実5: 仮に「「擬制的性格でなくて予測し難い」ということは成り立たない」ものがあるとしたらあの顕密は初来日する
事実6: そのマイクロフィラメントは擬制的性格だということはない一方で予測し難いとすると「この好成績は都内某店・等価交換でない」ということは誤っていない
事実7: もし仮に「あの顕密は疑い深さでないがしかしそれは排する」ということは間違っているとすればそのデキサメタゾン抑制試験は排しない
事実8: もしも「あの海洋帝国は粗いかもしくはそれは掘削するということはない」ということは成り立つということはないとするとこの金城原図は掘削しない
事実9: もし仮にそのマイクロフィラメントが無権代理人でないならこのサロメ像は初来日する
事実10: もしもなにかは無権代理人でないししかも白っぽくないとしたら黒いということはない
事実11: 黒い物は尊くないが都内某店・等価交換だ
事実12: もし仮にそのデキサメタゾン抑制試験は排しないなら「この好成績は白っぽくない一方でそれは無権代理人である」ということは成り立たない
事実13: もしある物が初来日するとすればそれは黒い
事実14: 無権代理人は黒いということはないけれど都内某店・等価交換だ
事実15: もしもそのデキサメタゾン抑制試験が排するならそれは無権代理人でないしかつ白っぽくない
事実16: 「この好成績は白っぽくないがしかしそれは無権代理人である」ということは成り立たないとするとそのマイクロフィラメントは無権代理人でない

仮説: あの顕密は初来日するということはない
1. 仮定1: 以下のように仮定する。そのマイクロフィラメントは擬制的性格でないがしかし予測し難い
2. 事実6と仮定1から、推論1: "この好成績は都内某店・等価交換であるということはない"が導かれる
3. 推論1と事実2から、推論2: "「そのデキサメタゾン抑制試験は黒い」ということは誤っていない"が導かれる
4. 事実15と事実4から、推論3: "そのデキサメタゾン抑制試験は無権代理人でなくて白っぽくない"が導かれる
5. 事実10から、推論4: "もし仮にそのデキサメタゾン抑制試験が無権代理人でなくて白っぽくないならば黒くない"が導かれる
6. 推論3と推論4から、推論5: "そのデキサメタゾン抑制試験は黒くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「「そのマイクロフィラメントは擬制的性格であるということはないけど予測し難い」ということは本当である」ということは間違いである"が導かれる
9. 推論7から、推論8: "「「擬制的性格でなくて予測し難い」ということは成り立たない」物はある"が導かれる
10. 推論8と事実5から、仮説が否定される

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