その器は仲介するし蹴り込む
fact1: もし仮に「この予算作成は指向しない」ということは事実であるとすれば「その器は仲介するししかも蹴り込む」ということは成り立たない fact2: もしもなんらかのものは指向するということはないならば「仲介するしその上それは蹴り込む」ということは成り立たない fact3: 「この墓石は蹴り込む」ということは成り立つ fact4: その器は蹴り込む fact5: あの見積もり落としがインターネット広告だし仲介する fact6: その器は仲介する fact7: 「その器は心身二元論だ」ということは間違いでない fact8: 弛み無くない物は届けるしおまけに椋鳥である fact9: この予算作成は指向する
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
「その器は仲介するし蹴り込む」ということは誤りだ
fact10 -> int1: もし仮にあの中継地点が弛み無くないなら届けるしさらにそれは椋鳥である;
$facts$ = fact1: もし仮に「この予算作成は指向しない」ということは事実であるとすれば「その器は仲介するししかも蹴り込む」ということは成り立たない fact2: もしもなんらかのものは指向するということはないならば「仲介するしその上それは蹴り込む」ということは成り立たない fact3: 「この墓石は蹴り込む」ということは成り立つ fact4: その器は蹴り込む fact5: あの見積もり落としがインターネット広告だし仲介する fact6: その器は仲介する fact7: 「その器は心身二元論だ」ということは間違いでない fact8: 弛み無くない物は届けるしおまけに椋鳥である fact9: この予算作成は指向する ; $hypothesis$ = その器は仲介するし蹴り込む ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「この予算作成は指向しない」ということは事実であるとすれば「その器は仲介するししかも蹴り込む」ということは成り立たない
事実2: もしもなんらかのものは指向するということはないならば「仲介するしその上それは蹴り込む」ということは成り立たない
事実3: 「この墓石は蹴り込む」ということは成り立つ
事実4: その器は蹴り込む
事実5: あの見積もり落としがインターネット広告だし仲介する
事実6: その器は仲介する
事実7: 「その器は心身二元論だ」ということは間違いでない
事実8: 弛み無くない物は届けるしおまけに椋鳥である
事実9: この予算作成は指向する

仮説: その器は仲介するし蹴り込む
1. 事実6と事実4から、仮説が導かれる

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