「もし仮に調節するとすれば熱苦しくないし運び上げない」物はある
fact1: 仮に何らかのものが調節するとしたら熱苦しくないが運び上げる fact2: 仮になんらかのものが調節すればそれは熱苦しくないし更に運び上げるということはない fact3: もし仮になんらかのものが皮肉っぽいとすると来難くないしおまけにイオン化するということはない fact4: 「もしも調節すれば熱苦しくないが運び上げる」物はある fact5: 仮に「そのボヘミア王国は睦まじい」ということは真実であるとすればそれは拭い難いということはないししかもそれはぎらぎらしない fact6: もしある物が調節するとすればそれは熱苦しいということはない fact7: 仮になんらかのものがすりゃ良いとしたらそれは話さないし循環血漿量でない fact8: 「仮に献呈するとしたら焦げ臭くない」物はある fact9: そのボヘミア王国が調節すれば熱苦しくない fact10: 仮になんらかの物が沸き上がるなら気難しくなくてそれは領しない fact11: 「もしミッション・ステートメントであるならばやばくないし加えて外出しない」ものはある fact12: 「「調節する」ということは間違っているということはないとすれば熱苦しくない」ものはある fact13: もし仮にそのボヘミア王国が調節すればそれは熱苦しくない一方で運び上げる fact14: 「もし「道内産だ」ということは成り立つなら気難しくなくて祈りしない」ものはある
fact2 -> int1: もしそのボヘミア王国が調節するとするとそれは熱苦しくないしさらに運び上げない; int1 -> hypothesis;
$facts$ = fact1: 仮に何らかのものが調節するとしたら熱苦しくないが運び上げる fact2: 仮になんらかのものが調節すればそれは熱苦しくないし更に運び上げるということはない fact3: もし仮になんらかのものが皮肉っぽいとすると来難くないしおまけにイオン化するということはない fact4: 「もしも調節すれば熱苦しくないが運び上げる」物はある fact5: 仮に「そのボヘミア王国は睦まじい」ということは真実であるとすればそれは拭い難いということはないししかもそれはぎらぎらしない fact6: もしある物が調節するとすればそれは熱苦しいということはない fact7: 仮になんらかのものがすりゃ良いとしたらそれは話さないし循環血漿量でない fact8: 「仮に献呈するとしたら焦げ臭くない」物はある fact9: そのボヘミア王国が調節すれば熱苦しくない fact10: 仮になんらかの物が沸き上がるなら気難しくなくてそれは領しない fact11: 「もしミッション・ステートメントであるならばやばくないし加えて外出しない」ものはある fact12: 「「調節する」ということは間違っているということはないとすれば熱苦しくない」ものはある fact13: もし仮にそのボヘミア王国が調節すればそれは熱苦しくない一方で運び上げる fact14: 「もし「道内産だ」ということは成り立つなら気難しくなくて祈りしない」ものはある ; $hypothesis$ = 「もし仮に調節するとすれば熱苦しくないし運び上げない」物はある ; $proof$ = 
fact2 -> int1: もしそのボヘミア王国が調節するとするとそれは熱苦しくないしさらに運び上げない; int1 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが調節するとしたら熱苦しくないが運び上げる
事実2: 仮になんらかのものが調節すればそれは熱苦しくないし更に運び上げるということはない
事実3: もし仮になんらかのものが皮肉っぽいとすると来難くないしおまけにイオン化するということはない
事実4: 「もしも調節すれば熱苦しくないが運び上げる」物はある
事実5: 仮に「そのボヘミア王国は睦まじい」ということは真実であるとすればそれは拭い難いということはないししかもそれはぎらぎらしない
事実6: もしある物が調節するとすればそれは熱苦しいということはない
事実7: 仮になんらかのものがすりゃ良いとしたらそれは話さないし循環血漿量でない
事実8: 「仮に献呈するとしたら焦げ臭くない」物はある
事実9: そのボヘミア王国が調節すれば熱苦しくない
事実10: 仮になんらかの物が沸き上がるなら気難しくなくてそれは領しない
事実11: 「もしミッション・ステートメントであるならばやばくないし加えて外出しない」ものはある
事実12: 「「調節する」ということは間違っているということはないとすれば熱苦しくない」ものはある
事実13: もし仮にそのボヘミア王国が調節すればそれは熱苦しくない一方で運び上げる
事実14: 「もし「道内産だ」ということは成り立つなら気難しくなくて祈りしない」ものはある

仮説: 「もし仮に調節するとすれば熱苦しくないし運び上げない」物はある
1. 事実2から、推論1: "もしそのボヘミア王国が調節するとするとそれは熱苦しくないしさらに運び上げない"が導かれる
2. 推論1から、仮説が導かれる

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