あの社内基幹システムはか細い
fact1: もしもその研三計画は御理解下されば「突っ込まないけれど勘違いし易い」ということは偽である fact2: もしもか細くない物は腫瘤形成性膵炎だとすれば「こそばゆくない」ということは本当だ fact3: その研三計画は腫瘤形成性膵炎である fact4: その研三計画が勘違いし易いということはないとしたらこの診査・観察はこそばゆくない fact5: もしなんらかのものが御理解下さらないならか細い fact6: もしなにがしかのものがこそばゆくないとするとそれは御理解下さるし更に勘違いし易い fact7: 「その研三計画は突っ込まないがしかしそれは勘違いし易い」ということは偽だとすればこの診査・観察はこそばゆいということはない fact8: この診査・観察はこそばゆい fact9: もし仮に「その研三計画はか細くない一方でそれは勘違いし易い」ということは誤りであるならばあの社内基幹システムは腫瘤形成性膵炎でない fact10: 仮に「この診査・観察は御理解下さらない一方で腫瘤形成性膵炎である」ということは間違っているなら「その研三計画はこそばゆいということはない」ということは成り立つ fact11: 仮に「あの社内基幹システムは腫瘤形成性膵炎でない一方でそれはか細い」ということは嘘だとするとその研三計画は御理解下さらない fact12: もしその研三計画は腫瘤形成性膵炎だけれど御理解下さるということはないならあの社内基幹システムはか細くない
void -> assump1: 以下のように仮定する。その研三計画は御理解下さる; fact1 & assump1 -> int1: 「その研三計画は突っ込まないけれど勘違いし易い」ということは間違いだ; int1 & fact7 -> int2: この診査・観察はこそばゆくない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: その研三計画は御理解下さらない; int4 & fact3 -> int5: その研三計画は腫瘤形成性膵炎であるがしかしそれは御理解下さらない; int5 & fact12 -> hypothesis;
その八種類は勘違いし易い
fact13 -> int6: 仮にその八種類がこそばゆくないならば御理解下さるしその上勘違いし易い; fact14 -> int7: その八種類はか細くない一方でそれが腫瘤形成性膵炎だとすればそれはこそばゆくない;
$facts$ = fact1: もしもその研三計画は御理解下されば「突っ込まないけれど勘違いし易い」ということは偽である fact2: もしもか細くない物は腫瘤形成性膵炎だとすれば「こそばゆくない」ということは本当だ fact3: その研三計画は腫瘤形成性膵炎である fact4: その研三計画が勘違いし易いということはないとしたらこの診査・観察はこそばゆくない fact5: もしなんらかのものが御理解下さらないならか細い fact6: もしなにがしかのものがこそばゆくないとするとそれは御理解下さるし更に勘違いし易い fact7: 「その研三計画は突っ込まないがしかしそれは勘違いし易い」ということは偽だとすればこの診査・観察はこそばゆいということはない fact8: この診査・観察はこそばゆい fact9: もし仮に「その研三計画はか細くない一方でそれは勘違いし易い」ということは誤りであるならばあの社内基幹システムは腫瘤形成性膵炎でない fact10: 仮に「この診査・観察は御理解下さらない一方で腫瘤形成性膵炎である」ということは間違っているなら「その研三計画はこそばゆいということはない」ということは成り立つ fact11: 仮に「あの社内基幹システムは腫瘤形成性膵炎でない一方でそれはか細い」ということは嘘だとするとその研三計画は御理解下さらない fact12: もしその研三計画は腫瘤形成性膵炎だけれど御理解下さるということはないならあの社内基幹システムはか細くない ; $hypothesis$ = あの社内基幹システムはか細い ; $proof$ = 
void -> assump1: 以下のように仮定する。その研三計画は御理解下さる; fact1 & assump1 -> int1: 「その研三計画は突っ込まないけれど勘違いし易い」ということは間違いだ; int1 & fact7 -> int2: この診査・観察はこそばゆくない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: その研三計画は御理解下さらない; int4 & fact3 -> int5: その研三計画は腫瘤形成性膵炎であるがしかしそれは御理解下さらない; int5 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもその研三計画は御理解下されば「突っ込まないけれど勘違いし易い」ということは偽である
事実2: もしもか細くない物は腫瘤形成性膵炎だとすれば「こそばゆくない」ということは本当だ
事実3: その研三計画は腫瘤形成性膵炎である
事実4: その研三計画が勘違いし易いということはないとしたらこの診査・観察はこそばゆくない
事実5: もしなんらかのものが御理解下さらないならか細い
事実6: もしなにがしかのものがこそばゆくないとするとそれは御理解下さるし更に勘違いし易い
事実7: 「その研三計画は突っ込まないがしかしそれは勘違いし易い」ということは偽だとすればこの診査・観察はこそばゆいということはない
事実8: この診査・観察はこそばゆい
事実9: もし仮に「その研三計画はか細くない一方でそれは勘違いし易い」ということは誤りであるならばあの社内基幹システムは腫瘤形成性膵炎でない
事実10: 仮に「この診査・観察は御理解下さらない一方で腫瘤形成性膵炎である」ということは間違っているなら「その研三計画はこそばゆいということはない」ということは成り立つ
事実11: 仮に「あの社内基幹システムは腫瘤形成性膵炎でない一方でそれはか細い」ということは嘘だとするとその研三計画は御理解下さらない
事実12: もしその研三計画は腫瘤形成性膵炎だけれど御理解下さるということはないならあの社内基幹システムはか細くない

仮説: あの社内基幹システムはか細い
1. 仮定1: 以下のように仮定する。その研三計画は御理解下さる
2. 事実1と仮定1から、推論1: "「その研三計画は突っ込まないけれど勘違いし易い」ということは間違いだ"が導かれる
3. 推論1と事実7から、推論2: "この診査・観察はこそばゆくない"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その研三計画は御理解下さらない"が導かれる
6. 推論4と事実3から、推論5: "その研三計画は腫瘤形成性膵炎であるがしかしそれは御理解下さらない"が導かれる
7. 推論5と事実12から、仮説が否定される

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