その間接目的語は体験版であるということはない
fact1: なにがしかの物が調査・分析すれば耐え難い fact2: 「とある物は離婚意思だ」ということは本当だ fact3: 仮にその間接目的語が引率しないがそれが届き難いとすればあの古代史研究は体験版でない fact4: もし仮にその古代史研究が体験版であるがしかし引率しないならばその間接目的語は届き難いということはない fact5: もし「離婚意思である」物はあるとすれば「あの変わり方は短期間でおまけに得られ易い」ということは成り立たない fact6: もし「その間接目的語は引率するが届き難くない」ということは本当であるならばその古代史研究は体験版でない fact7: その間接目的語は引率しない fact8: もし仮にその間接目的語が届き難いが体験版でないとしたらその古代史研究は引率しない fact9: もしその古代史研究が届き難くないしかつ引率するということはないとしたらその間接目的語は体験版でない fact10: もしその古代史研究が体験版だがしかしそれが届き難くないとしたらその間接目的語は引率するということはない fact11: 「あの変わり方は短期間であってさらに得られ易い」ということは間違いであるとすると「その間接目的語は真っ黒くない」ということは真実だ fact12: もしその間接目的語が引率しないししかも体験版でないとするとその古代史研究は届き難くない fact13: その古代史研究は届き難くないしまた引率しない fact14: その間接目的語は届き難くない fact15: その古代史研究は体験版でない
fact9 & fact13 -> hypothesis;
fact9 & fact13 -> hypothesis;
その口角泡は体験版でない
fact16 -> int1: 仮にその古代史研究が調査・分析するとすれば耐え難い; fact18 & fact19 -> int2: 「あの変わり方は短期間であるし得られ易い」ということは偽である; fact17 & int2 -> int3: その間接目的語は真っ黒くない; int3 -> int4: 「真っ黒いということはない」ものはある;
$facts$ = fact1: なにがしかの物が調査・分析すれば耐え難い fact2: 「とある物は離婚意思だ」ということは本当だ fact3: 仮にその間接目的語が引率しないがそれが届き難いとすればあの古代史研究は体験版でない fact4: もし仮にその古代史研究が体験版であるがしかし引率しないならばその間接目的語は届き難いということはない fact5: もし「離婚意思である」物はあるとすれば「あの変わり方は短期間でおまけに得られ易い」ということは成り立たない fact6: もし「その間接目的語は引率するが届き難くない」ということは本当であるならばその古代史研究は体験版でない fact7: その間接目的語は引率しない fact8: もし仮にその間接目的語が届き難いが体験版でないとしたらその古代史研究は引率しない fact9: もしその古代史研究が届き難くないしかつ引率するということはないとしたらその間接目的語は体験版でない fact10: もしその古代史研究が体験版だがしかしそれが届き難くないとしたらその間接目的語は引率するということはない fact11: 「あの変わり方は短期間であってさらに得られ易い」ということは間違いであるとすると「その間接目的語は真っ黒くない」ということは真実だ fact12: もしその間接目的語が引率しないししかも体験版でないとするとその古代史研究は届き難くない fact13: その古代史研究は届き難くないしまた引率しない fact14: その間接目的語は届き難くない fact15: その古代史研究は体験版でない ; $hypothesis$ = その間接目的語は体験版であるということはない ; $proof$ = 
fact9 & fact13 -> hypothesis; __PROVED__
事実1: なにがしかの物が調査・分析すれば耐え難い
事実2: 「とある物は離婚意思だ」ということは本当だ
事実3: 仮にその間接目的語が引率しないがそれが届き難いとすればあの古代史研究は体験版でない
事実4: もし仮にその古代史研究が体験版であるがしかし引率しないならばその間接目的語は届き難いということはない
事実5: もし「離婚意思である」物はあるとすれば「あの変わり方は短期間でおまけに得られ易い」ということは成り立たない
事実6: もし「その間接目的語は引率するが届き難くない」ということは本当であるならばその古代史研究は体験版でない
事実7: その間接目的語は引率しない
事実8: もし仮にその間接目的語が届き難いが体験版でないとしたらその古代史研究は引率しない
事実9: もしその古代史研究が届き難くないしかつ引率するということはないとしたらその間接目的語は体験版でない
事実10: もしその古代史研究が体験版だがしかしそれが届き難くないとしたらその間接目的語は引率するということはない
事実11: 「あの変わり方は短期間であってさらに得られ易い」ということは間違いであるとすると「その間接目的語は真っ黒くない」ということは真実だ
事実12: もしその間接目的語が引率しないししかも体験版でないとするとその古代史研究は届き難くない
事実13: その古代史研究は届き難くないしまた引率しない
事実14: その間接目的語は届き難くない
事実15: その古代史研究は体験版でない

仮説: その間接目的語は体験版であるということはない
1. 事実9と事実13から、仮説が導かれる

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