「「あの下甕は作り得るけれど則らない」ということは成り立たない」ということは正しい
fact1: あの神下ろしは勘定出来ないしおまけに作り得ない fact2: あの神下ろしは作り得ないとしたら「あの下甕は作り得る一方で則らない」ということは誤っている fact3: もしあの神下ろしは作り得ないとしたら「あの下甕は作り得る一方で勘定出来ない」ということは真実でない fact4: もしもあの神下ろしは作り得ないとすれば「あの下甕は作り得るしその上則る」ということは成り立たない fact5: 「あの下甕は作り得るしまた則る」ということは間違っている fact6: 「あの下甕は勘定出来る一方でそれは作り得ない」ということは間違いである fact7: もし仮に何かは勘定出来るとすると「作り得るしまたそれは信義則違反でない」ということは成り立たない fact8: 仮にあの下甕は勘定出来ないならば「あの神下ろしは勘定出来るけれど作り得ない」ということは間違っている fact9: あの神下ろしは勘定出来ない
fact1 -> int1: 「あの神下ろしは作り得ない」ということは正しい; int1 & fact2 -> hypothesis;
「その緩衝溶液は作り得るけどそれは信義則違反でない」ということは事実でない
fact10 -> int2: もしその緩衝溶液は勘定出来るとすると「作り得るがしかし信義則違反でない」ということは真実であるということはない;
$facts$ = fact1: あの神下ろしは勘定出来ないしおまけに作り得ない fact2: あの神下ろしは作り得ないとしたら「あの下甕は作り得る一方で則らない」ということは誤っている fact3: もしあの神下ろしは作り得ないとしたら「あの下甕は作り得る一方で勘定出来ない」ということは真実でない fact4: もしもあの神下ろしは作り得ないとすれば「あの下甕は作り得るしその上則る」ということは成り立たない fact5: 「あの下甕は作り得るしまた則る」ということは間違っている fact6: 「あの下甕は勘定出来る一方でそれは作り得ない」ということは間違いである fact7: もし仮に何かは勘定出来るとすると「作り得るしまたそれは信義則違反でない」ということは成り立たない fact8: 仮にあの下甕は勘定出来ないならば「あの神下ろしは勘定出来るけれど作り得ない」ということは間違っている fact9: あの神下ろしは勘定出来ない ; $hypothesis$ = 「「あの下甕は作り得るけれど則らない」ということは成り立たない」ということは正しい ; $proof$ = 
fact1 -> int1: 「あの神下ろしは作り得ない」ということは正しい; int1 & fact2 -> hypothesis; __PROVED__
事実1: あの神下ろしは勘定出来ないしおまけに作り得ない
事実2: あの神下ろしは作り得ないとしたら「あの下甕は作り得る一方で則らない」ということは誤っている
事実3: もしあの神下ろしは作り得ないとしたら「あの下甕は作り得る一方で勘定出来ない」ということは真実でない
事実4: もしもあの神下ろしは作り得ないとすれば「あの下甕は作り得るしその上則る」ということは成り立たない
事実5: 「あの下甕は作り得るしまた則る」ということは間違っている
事実6: 「あの下甕は勘定出来る一方でそれは作り得ない」ということは間違いである
事実7: もし仮に何かは勘定出来るとすると「作り得るしまたそれは信義則違反でない」ということは成り立たない
事実8: 仮にあの下甕は勘定出来ないならば「あの神下ろしは勘定出来るけれど作り得ない」ということは間違っている
事実9: あの神下ろしは勘定出来ない

仮説: 「「あの下甕は作り得るけれど則らない」ということは成り立たない」ということは正しい
1. 事実1から、推論1: "「あの神下ろしは作り得ない」ということは正しい"が導かれる
2. 推論1と事実2から、仮説が導かれる

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