その活動拠点は電位差でない
fact1: この大親分が甲状腺疾患だとしたらＡ案だけれどスク水でない fact2: もし仮にあの後進地域が高速化しないとすればあの活動拠点は電位差でない fact3: 仮にとあるものは一工夫しないならば「タンクローリーで入れ易い」ということは成り立たない fact4: もしなにがしかのものは両立するということはないならば「「与え易いということはないけど教育する」ということは真実だ」ということは偽である fact5: もしも「何らかのものは与え易くないけどそれは教育する」ということは偽であるならば高速化しない fact6: あの後進地域は完遂出来る fact7: この大親分は握り易い fact8: もしもあの後進地域が高速化するとしたらこの大親分は教育する fact9: もしもこの大親分が高速化するとするとあの後進地域は教育する fact10: この大親分は甲状腺疾患である fact11: もしその活動拠点が教育するならこの大親分は電位差だ fact12: もしもＡ案はスク水でないとしたら一工夫するということはない fact13: もしもこの大親分が教育するとしたらその活動拠点は電位差だ fact14: もしもこの大親分が電位差であるとすればその活動拠点は教育する fact15: その活動拠点は高速化する fact16: あの後進地域は高速化する
fact8 & fact16 -> int1: この大親分は教育する; int1 & fact13 -> hypothesis;
「その活動拠点は電位差だということはない」ということは間違いでない
fact22 -> int2: 「もしも「あの後進地域は与え易くない一方で教育する」ということは成り立たないならばあの後進地域は高速化しない」ということは本当だ; fact19 -> int3: もし仮にあの後進地域は両立しないとしたら「与え易くないし更に教育する」ということは偽である; fact23 -> int4: 仮に「この大親分は一工夫しない」ということは確かであるなら「タンクローリーだし更に入れ易い」ということは偽である; fact20 -> int5: もしもこの大親分がＡ案だがスク水でないなら「それは一工夫しない」ということは成り立つ; fact18 & fact21 -> int6: この大親分はＡ案である一方でスク水でない; int5 & int6 -> int7: この大親分は一工夫しない; int4 & int7 -> int8: 「「この大親分はタンクローリーであるし入れ易い」ということは成り立つ」ということは誤りだ; int8 -> int9: 「「タンクローリーであるしおまけに入れ易い」ということは間違っている」物はある;
$facts$ = fact1: この大親分が甲状腺疾患だとしたらＡ案だけれどスク水でない fact2: もし仮にあの後進地域が高速化しないとすればあの活動拠点は電位差でない fact3: 仮にとあるものは一工夫しないならば「タンクローリーで入れ易い」ということは成り立たない fact4: もしなにがしかのものは両立するということはないならば「「与え易いということはないけど教育する」ということは真実だ」ということは偽である fact5: もしも「何らかのものは与え易くないけどそれは教育する」ということは偽であるならば高速化しない fact6: あの後進地域は完遂出来る fact7: この大親分は握り易い fact8: もしもあの後進地域が高速化するとしたらこの大親分は教育する fact9: もしもこの大親分が高速化するとするとあの後進地域は教育する fact10: この大親分は甲状腺疾患である fact11: もしその活動拠点が教育するならこの大親分は電位差だ fact12: もしもＡ案はスク水でないとしたら一工夫するということはない fact13: もしもこの大親分が教育するとしたらその活動拠点は電位差だ fact14: もしもこの大親分が電位差であるとすればその活動拠点は教育する fact15: その活動拠点は高速化する fact16: あの後進地域は高速化する ; $hypothesis$ = その活動拠点は電位差でない ; $proof$ = 
fact8 & fact16 -> int1: この大親分は教育する; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: この大親分が甲状腺疾患だとしたらＡ案だけれどスク水でない
事実2: もし仮にあの後進地域が高速化しないとすればあの活動拠点は電位差でない
事実3: 仮にとあるものは一工夫しないならば「タンクローリーで入れ易い」ということは成り立たない
事実4: もしなにがしかのものは両立するということはないならば「「与え易いということはないけど教育する」ということは真実だ」ということは偽である
事実5: もしも「何らかのものは与え易くないけどそれは教育する」ということは偽であるならば高速化しない
事実6: あの後進地域は完遂出来る
事実7: この大親分は握り易い
事実8: もしもあの後進地域が高速化するとしたらこの大親分は教育する
事実9: もしもこの大親分が高速化するとするとあの後進地域は教育する
事実10: この大親分は甲状腺疾患である
事実11: もしその活動拠点が教育するならこの大親分は電位差だ
事実12: もしもＡ案はスク水でないとしたら一工夫するということはない
事実13: もしもこの大親分が教育するとしたらその活動拠点は電位差だ
事実14: もしもこの大親分が電位差であるとすればその活動拠点は教育する
事実15: その活動拠点は高速化する
事実16: あの後進地域は高速化する

仮説: その活動拠点は電位差でない
1. 事実8と事実16から、推論1: "この大親分は教育する"が導かれる
2. 推論1と事実13から、仮説が否定される

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