あの腎前性はぎこちなくない
fact1: その当該募集はぎこちない fact2: あのピル使用はぎこちない fact3: あの腎前性は広がり易い fact4: あの腎前性は狭くない fact5: なにかは納得し難いとしたら「それはぎこちなくない」ということは成り立つということはない fact6: もし仮にこの鶯が尽力すらないとすればあの腎前性は狭くない fact7: もしもなにがしかのものが納得し難いかまたはＤＩＶＸコーデックでないかどちらもならば納得し難い fact8: あの腎前性はサーバーＳである fact9: この鶯はぎこちない fact10: 塩辛い物は納得し難いかＤＩＶＸコーデックであるということはないかどちらもである fact11: もし仮になにがしかのものは塩辛いということはないとすれば「それは納得し難くてさらにそれはＤＩＶＸコーデックでない」ということは成り立たない fact12: あの腎前性はぎこちない fact13: 「あの腎前性は御断る」ということは正しい fact14: もし仮に「なんらかのものは納得し難いがしかしそれはＤＩＶＸコーデックでない」ということは誤りだとしたらぎこちなくない fact15: もしあのクラリネットが晒され易いということはないとするとこの鶯は尽力すらない
fact12 -> hypothesis;
fact12 -> hypothesis;
あの腎前性はぎこちなくない
fact16 -> int1: もし仮に「あの腎前性は納得し難いがしかしＤＩＶＸコーデックだということはない」ということは成り立たないならばぎこちなくない; fact18 -> int2: もしあの腎前性は塩辛くないならば「それが納得し難いしその上ＤＩＶＸコーデックでない」ということは偽である;
$facts$ = fact1: その当該募集はぎこちない fact2: あのピル使用はぎこちない fact3: あの腎前性は広がり易い fact4: あの腎前性は狭くない fact5: なにかは納得し難いとしたら「それはぎこちなくない」ということは成り立つということはない fact6: もし仮にこの鶯が尽力すらないとすればあの腎前性は狭くない fact7: もしもなにがしかのものが納得し難いかまたはＤＩＶＸコーデックでないかどちらもならば納得し難い fact8: あの腎前性はサーバーＳである fact9: この鶯はぎこちない fact10: 塩辛い物は納得し難いかＤＩＶＸコーデックであるということはないかどちらもである fact11: もし仮になにがしかのものは塩辛いということはないとすれば「それは納得し難くてさらにそれはＤＩＶＸコーデックでない」ということは成り立たない fact12: あの腎前性はぎこちない fact13: 「あの腎前性は御断る」ということは正しい fact14: もし仮に「なんらかのものは納得し難いがしかしそれはＤＩＶＸコーデックでない」ということは誤りだとしたらぎこちなくない fact15: もしあのクラリネットが晒され易いということはないとするとこの鶯は尽力すらない ; $hypothesis$ = あの腎前性はぎこちなくない ; $proof$ = 
fact12 -> hypothesis; __DISPROVED__
事実1: その当該募集はぎこちない
事実2: あのピル使用はぎこちない
事実3: あの腎前性は広がり易い
事実4: あの腎前性は狭くない
事実5: なにかは納得し難いとしたら「それはぎこちなくない」ということは成り立つということはない
事実6: もし仮にこの鶯が尽力すらないとすればあの腎前性は狭くない
事実7: もしもなにがしかのものが納得し難いかまたはＤＩＶＸコーデックでないかどちらもならば納得し難い
事実8: あの腎前性はサーバーＳである
事実9: この鶯はぎこちない
事実10: 塩辛い物は納得し難いかＤＩＶＸコーデックであるということはないかどちらもである
事実11: もし仮になにがしかのものは塩辛いということはないとすれば「それは納得し難くてさらにそれはＤＩＶＸコーデックでない」ということは成り立たない
事実12: あの腎前性はぎこちない
事実13: 「あの腎前性は御断る」ということは正しい
事実14: もし仮に「なんらかのものは納得し難いがしかしそれはＤＩＶＸコーデックでない」ということは誤りだとしたらぎこちなくない
事実15: もしあのクラリネットが晒され易いということはないとするとこの鶯は尽力すらない

仮説: あの腎前性はぎこちなくない
1. 事実12から、仮説が否定される

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