あの時間領域は離職する
fact1: 「その安田隆行厩舎は歌い踊るということはない」ということは本当である fact2: そのランディング・ビーチは来辛い fact3: 来辛いものはある fact4: もし仮にあるものがせこいとすればそれは離職する fact5: もしもその安田隆行厩舎は歌い踊らないとすれば「心細いしそれに模造する」ということは誤りだ fact6: 仮に「「せこくて来辛い」ということは確かな」ものはあるとすると「あの時間領域は離職する」ということは間違いだ fact7: もし仮にこの買い取り価格が離職するとしたらあの時間領域は離職する fact8: そのランディング・ビーチはせこくてさらに来辛い fact9: 「離職する」ものはある
fact8 -> int1: 「せこくて加えて来辛い」物はある; int1 & fact6 -> hypothesis;
fact8 -> int1: (Ex): ({A}x & {B}x); int1 & fact6 -> hypothesis;
あの時間領域は離職する
fact11 -> int2: もしこの買い取り価格はせこいならば「それは離職する」ということは本当だ; fact12 & fact13 -> int3: 「その安田隆行厩舎は心細いしまた模造する」ということは間違いである; int3 -> int4: 「「心細いしそれに模造する」ということは成り立たない」ものはある;
$facts$ = fact1: 「その安田隆行厩舎は歌い踊るということはない」ということは本当である fact2: そのランディング・ビーチは来辛い fact3: 来辛いものはある fact4: もし仮にあるものがせこいとすればそれは離職する fact5: もしもその安田隆行厩舎は歌い踊らないとすれば「心細いしそれに模造する」ということは誤りだ fact6: 仮に「「せこくて来辛い」ということは確かな」ものはあるとすると「あの時間領域は離職する」ということは間違いだ fact7: もし仮にこの買い取り価格が離職するとしたらあの時間領域は離職する fact8: そのランディング・ビーチはせこくてさらに来辛い fact9: 「離職する」ものはある ; $hypothesis$ = あの時間領域は離職する ; $proof$ = 
fact8 -> int1: 「せこくて加えて来辛い」物はある; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 「その安田隆行厩舎は歌い踊るということはない」ということは本当である
事実2: そのランディング・ビーチは来辛い
事実3: 来辛いものはある
事実4: もし仮にあるものがせこいとすればそれは離職する
事実5: もしもその安田隆行厩舎は歌い踊らないとすれば「心細いしそれに模造する」ということは誤りだ
事実6: 仮に「「せこくて来辛い」ということは確かな」ものはあるとすると「あの時間領域は離職する」ということは間違いだ
事実7: もし仮にこの買い取り価格が離職するとしたらあの時間領域は離職する
事実8: そのランディング・ビーチはせこくてさらに来辛い
事実9: 「離職する」ものはある

仮説: あの時間領域は離職する
1. 事実8から、推論1: "「せこくて加えて来辛い」物はある"が導かれる
2. 推論1と事実6から、仮説が否定される

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