あの関節腔は五月末日だ
fact1: 「あの関節腔はコンセンサス配列でない」ということは成り立つ fact2: なにがしかのものが五月末日だとしたら仄暗くないしそれにそれは慣用句である fact3: その責任能力は慣用句であるということはない fact4: 仮になんらかの物は最新機能であるということはないとすれば「それは長ーくない」ということは成り立つ fact5: その一軍選手は五月末日でないけど英才教育だ fact6: あの関節腔は五月末日でない一方で慣用句である fact7: 「あの関節腔は慣用句である」ということは事実だ fact8: 長ーくない物は五月末日であるし慣用句だ
fact6 -> hypothesis;
fact6 -> hypothesis;
その映画女優は仄暗くないけれどそれは慣用句だ
fact9 -> int1: 仮にその映画女優は五月末日であるとするとそれは仄暗くないけど慣用句だ;
$facts$ = fact1: 「あの関節腔はコンセンサス配列でない」ということは成り立つ fact2: なにがしかのものが五月末日だとしたら仄暗くないしそれにそれは慣用句である fact3: その責任能力は慣用句であるということはない fact4: 仮になんらかの物は最新機能であるということはないとすれば「それは長ーくない」ということは成り立つ fact5: その一軍選手は五月末日でないけど英才教育だ fact6: あの関節腔は五月末日でない一方で慣用句である fact7: 「あの関節腔は慣用句である」ということは事実だ fact8: 長ーくない物は五月末日であるし慣用句だ ; $hypothesis$ = あの関節腔は五月末日だ ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「あの関節腔はコンセンサス配列でない」ということは成り立つ
事実2: なにがしかのものが五月末日だとしたら仄暗くないしそれにそれは慣用句である
事実3: その責任能力は慣用句であるということはない
事実4: 仮になんらかの物は最新機能であるということはないとすれば「それは長ーくない」ということは成り立つ
事実5: その一軍選手は五月末日でないけど英才教育だ
事実6: あの関節腔は五月末日でない一方で慣用句である
事実7: 「あの関節腔は慣用句である」ということは事実だ
事実8: 長ーくない物は五月末日であるし慣用句だ

仮説: あの関節腔は五月末日だ
1. 事実6から、仮説が否定される

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