とあるものは下せらない
fact1: この教示は姪達であるし更に下せる fact2: もしもこの教示が溶け難いし更にそれが姪達であるとしたらこの切り替え時間は下せらない fact3: もしこの教示が下せるしかつ姪達であるとすればこの切り替え時間は溶け難くない fact4: 「下せる」ものはある fact5: この教示は姪達だ fact6: この切り替え時間は押し詰めるし姪達である fact7: その純資産比率は下せるし送気する fact8: この切り替え時間は支柱穴でないならば「この教示は支柱穴でない」ということは真実だ fact9: この教示は溶け難いしさらに姪達である
fact2 & fact9 -> int1: 「この切り替え時間は下せらない」ということは成り立つ; int1 -> hypothesis;
fact2 & fact9 -> int1: ¬{B}{b}; int1 -> hypothesis;
この教示は支柱穴でない
$facts$ = fact1: この教示は姪達であるし更に下せる fact2: もしもこの教示が溶け難いし更にそれが姪達であるとしたらこの切り替え時間は下せらない fact3: もしこの教示が下せるしかつ姪達であるとすればこの切り替え時間は溶け難くない fact4: 「下せる」ものはある fact5: この教示は姪達だ fact6: この切り替え時間は押し詰めるし姪達である fact7: その純資産比率は下せるし送気する fact8: この切り替え時間は支柱穴でないならば「この教示は支柱穴でない」ということは真実だ fact9: この教示は溶け難いしさらに姪達である ; $hypothesis$ = とあるものは下せらない ; $proof$ = 
fact2 & fact9 -> int1: 「この切り替え時間は下せらない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: この教示は姪達であるし更に下せる
事実2: もしもこの教示が溶け難いし更にそれが姪達であるとしたらこの切り替え時間は下せらない
事実3: もしこの教示が下せるしかつ姪達であるとすればこの切り替え時間は溶け難くない
事実4: 「下せる」ものはある
事実5: この教示は姪達だ
事実6: この切り替え時間は押し詰めるし姪達である
事実7: その純資産比率は下せるし送気する
事実8: この切り替え時間は支柱穴でないならば「この教示は支柱穴でない」ということは真実だ
事実9: この教示は溶け難いしさらに姪達である

仮説: とあるものは下せらない
1. 事実2と事実9から、推論1: "「この切り替え時間は下せらない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。