その動力源は御忙しいがしかし下式であるということはない
fact1: 仮に「締め付ける」物があるとしたらその動力源は御忙しいけど下式でない fact2: もし何かは締め付けるとしたら「それは御忙しいがしかし下式でない」ということは間違っている fact3: その動力源は御忙しいけど締め付けない fact4: あの一般交通用施設は締め付ける fact5: あの資財は締め付ける
fact5 -> int1: とあるものは締め付ける; int1 & fact1 -> hypothesis;
「その動力源は御忙しいがそれは下式だということはない」ということは成り立たない
fact6 -> int2: もし「その動力源は締め付ける」ということは事実と異なるということはないとすれば「御忙しいし下式でない」ということは真実でない;
$facts$ = fact1: 仮に「締め付ける」物があるとしたらその動力源は御忙しいけど下式でない fact2: もし何かは締め付けるとしたら「それは御忙しいがしかし下式でない」ということは間違っている fact3: その動力源は御忙しいけど締め付けない fact4: あの一般交通用施設は締め付ける fact5: あの資財は締め付ける ; $hypothesis$ = その動力源は御忙しいがしかし下式であるということはない ; $proof$ = 
fact5 -> int1: とあるものは締め付ける; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「締め付ける」物があるとしたらその動力源は御忙しいけど下式でない
事実2: もし何かは締め付けるとしたら「それは御忙しいがしかし下式でない」ということは間違っている
事実3: その動力源は御忙しいけど締め付けない
事実4: あの一般交通用施設は締め付ける
事実5: あの資財は締め付ける

仮説: その動力源は御忙しいがしかし下式であるということはない
1. 事実5から、推論1: "とあるものは締め付ける"が導かれる
2. 推論1と事実1から、仮説が導かれる

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