「もしも搬送しなくて更に従い為さるとすればしおらしい」ものはある
fact1: 「あのボイラーは搬送するしそれに従い為さる」ということは成り立つとすればしおらしい fact2: 仮にあのボイラーは搬送しないがしかし従い為さるなら「しおらしい」ということは成り立つ fact3: 仮に厳しかないものが呼び易いならば手痛い
fact2 -> hypothesis;
「「もし厳しいということはないし加えて呼び易いならば手痛い」ものはある」ということは成り立つ
fact4 -> int1: もし仮にあの定額は厳しかないけれど呼び易いとしたら手痛い; int1 -> hypothesis;
$facts$ = fact1: 「あのボイラーは搬送するしそれに従い為さる」ということは成り立つとすればしおらしい fact2: 仮にあのボイラーは搬送しないがしかし従い為さるなら「しおらしい」ということは成り立つ fact3: 仮に厳しかないものが呼び易いならば手痛い ; $hypothesis$ = 「もしも搬送しなくて更に従い為さるとすればしおらしい」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「あのボイラーは搬送するしそれに従い為さる」ということは成り立つとすればしおらしい
事実2: 仮にあのボイラーは搬送しないがしかし従い為さるなら「しおらしい」ということは成り立つ
事実3: 仮に厳しかないものが呼び易いならば手痛い

仮説: 「もしも搬送しなくて更に従い為さるとすればしおらしい」ものはある
1. 事実2から、仮説が導かれる

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