その中心問題は探り始めない
fact1: 仮にその借用語が管理し易いとすればその中心問題は探り始める fact2: 何らかのものがＬオンだとするとそれは管理し易い fact3: 仮にそのマスターファイルは生産系だということはないけれど管理し易いとすれば「その借用語は管理し易くない」ということは事実だ fact4: その借用語は論議しない fact5: もし何らかのものは探り始めないとしたら「管理し易いということはない」ということは成り立つ fact6: その借用語は論議しないがしかしＬオンだ fact7: もしその借用語が生産系でないならばあの知的障害児は探り始めないけれど答え難い fact8: もし「ある物は凌ぐけれどそれはふてぶてしくない」ということは成り立つとするとその借用語は生産系でない fact9: そのマスターファイルは生産系でないし加えてそれは答え難いということはない fact10: 「その中心問題は凌ぐ一方でふてぶてしくない」ということは成り立つ fact11: 何らかのものはＬオンでないとすれば「それは論議するしそれにそれは探り始めない」ということは誤っている
fact6 -> int1: その借用語はＬオンだ; fact2 -> int2: もしもその借用語はＬオンであるとしたら管理し易い; int1 & int2 -> int3: その借用語は管理し易い; int3 & fact1 -> hypothesis;
fact6 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact1 -> hypothesis;
あの知的障害児はＬオンだ
fact12 -> int4: もし仮にあの知的障害児は探り始めるということはないならば「それは管理し易いということはない」ということは成り立つ; fact13 -> int5: 「凌ぐしふてぶてしくない」物はある; int5 & fact14 -> int6: その借用語は生産系でない; fact15 & int6 -> int7: あの知的障害児は探り始めないがしかしそれは答え難い; int7 -> int8: 「あの知的障害児は探り始める」ということは偽である; int4 & int8 -> int9: あの知的障害児は管理し易くない;
$facts$ = fact1: 仮にその借用語が管理し易いとすればその中心問題は探り始める fact2: 何らかのものがＬオンだとするとそれは管理し易い fact3: 仮にそのマスターファイルは生産系だということはないけれど管理し易いとすれば「その借用語は管理し易くない」ということは事実だ fact4: その借用語は論議しない fact5: もし何らかのものは探り始めないとしたら「管理し易いということはない」ということは成り立つ fact6: その借用語は論議しないがしかしＬオンだ fact7: もしその借用語が生産系でないならばあの知的障害児は探り始めないけれど答え難い fact8: もし「ある物は凌ぐけれどそれはふてぶてしくない」ということは成り立つとするとその借用語は生産系でない fact9: そのマスターファイルは生産系でないし加えてそれは答え難いということはない fact10: 「その中心問題は凌ぐ一方でふてぶてしくない」ということは成り立つ fact11: 何らかのものはＬオンでないとすれば「それは論議するしそれにそれは探り始めない」ということは誤っている ; $hypothesis$ = その中心問題は探り始めない ; $proof$ = 
fact6 -> int1: その借用語はＬオンだ; fact2 -> int2: もしもその借用語はＬオンであるとしたら管理し易い; int1 & int2 -> int3: その借用語は管理し易い; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその借用語が管理し易いとすればその中心問題は探り始める
事実2: 何らかのものがＬオンだとするとそれは管理し易い
事実3: 仮にそのマスターファイルは生産系だということはないけれど管理し易いとすれば「その借用語は管理し易くない」ということは事実だ
事実4: その借用語は論議しない
事実5: もし何らかのものは探り始めないとしたら「管理し易いということはない」ということは成り立つ
事実6: その借用語は論議しないがしかしＬオンだ
事実7: もしその借用語が生産系でないならばあの知的障害児は探り始めないけれど答え難い
事実8: もし「ある物は凌ぐけれどそれはふてぶてしくない」ということは成り立つとするとその借用語は生産系でない
事実9: そのマスターファイルは生産系でないし加えてそれは答え難いということはない
事実10: 「その中心問題は凌ぐ一方でふてぶてしくない」ということは成り立つ
事実11: 何らかのものはＬオンでないとすれば「それは論議するしそれにそれは探り始めない」ということは誤っている

仮説: その中心問題は探り始めない
1. 事実6から、推論1: "その借用語はＬオンだ"が導かれる
2. 事実2から、推論2: "もしもその借用語はＬオンであるとしたら管理し易い"が導かれる
3. 推論1と推論2から、推論3: "その借用語は管理し易い"が導かれる
4. 推論3と事実1から、仮説が否定される

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