この病原体は入り組まない
fact1: もし仮にあの判は誤解され易くないとしたら「それは底深いしおまけにそれは御言い為さる」ということは誤りだ fact2: 仮にその名家が防御策ならそれは迷信深くない fact3: 「あの判は入り組まない」ということは真実だとすればこの病原体は御言い為さらない fact4: もしもその名家が迷信深くないならばこのサイン会は移行し易くない fact5: あの判は防御策だということはない fact6: この病原体は誤解され易くない fact7: もしこの病原体はトブシンだけど移行し易くないとしたら「あの判は移行し易くない」ということは偽でない fact8: 仮にあの判が誤解され易いとすればこの病原体は入り組む fact9: 移行し易くない物は誤解され易いしその上繰り返し見る fact10: あの判は誤解され易くない fact11: 仮にあの判は防御策でないならそれは入り組むしまた迷信深い fact12: 仮に「「あの判は底深くて加えて御言い為さる」ということは誤りだ」ということは誤りであるということはないならばこの病原体は入り組まない fact13: あの絞首台は底深くない fact14: もしあの判は御言い為さらないとすると「この病原体は入り組まない」ということは本当である
fact1 & fact10 -> int1: 「あの判が底深いしその上御言い為さる」ということは事実と異なる; int1 & fact12 -> hypothesis;
その消灯は御言い為さるということはない
fact16 & fact15 -> int2: あの判は入り組むし迷信深い; int2 -> int3: あの判は入り組む; fact17 -> int4: もしもあの判は移行し易くないならばそれは誤解され易いしおまけに繰り返し見る;
$facts$ = fact1: もし仮にあの判は誤解され易くないとしたら「それは底深いしおまけにそれは御言い為さる」ということは誤りだ fact2: 仮にその名家が防御策ならそれは迷信深くない fact3: 「あの判は入り組まない」ということは真実だとすればこの病原体は御言い為さらない fact4: もしもその名家が迷信深くないならばこのサイン会は移行し易くない fact5: あの判は防御策だということはない fact6: この病原体は誤解され易くない fact7: もしこの病原体はトブシンだけど移行し易くないとしたら「あの判は移行し易くない」ということは偽でない fact8: 仮にあの判が誤解され易いとすればこの病原体は入り組む fact9: 移行し易くない物は誤解され易いしその上繰り返し見る fact10: あの判は誤解され易くない fact11: 仮にあの判は防御策でないならそれは入り組むしまた迷信深い fact12: 仮に「「あの判は底深くて加えて御言い為さる」ということは誤りだ」ということは誤りであるということはないならばこの病原体は入り組まない fact13: あの絞首台は底深くない fact14: もしあの判は御言い為さらないとすると「この病原体は入り組まない」ということは本当である ; $hypothesis$ = この病原体は入り組まない ; $proof$ = 
fact1 & fact10 -> int1: 「あの判が底深いしその上御言い為さる」ということは事実と異なる; int1 & fact12 -> hypothesis; __PROVED__
事実1: もし仮にあの判は誤解され易くないとしたら「それは底深いしおまけにそれは御言い為さる」ということは誤りだ
事実2: 仮にその名家が防御策ならそれは迷信深くない
事実3: 「あの判は入り組まない」ということは真実だとすればこの病原体は御言い為さらない
事実4: もしもその名家が迷信深くないならばこのサイン会は移行し易くない
事実5: あの判は防御策だということはない
事実6: この病原体は誤解され易くない
事実7: もしこの病原体はトブシンだけど移行し易くないとしたら「あの判は移行し易くない」ということは偽でない
事実8: 仮にあの判が誤解され易いとすればこの病原体は入り組む
事実9: 移行し易くない物は誤解され易いしその上繰り返し見る
事実10: あの判は誤解され易くない
事実11: 仮にあの判は防御策でないならそれは入り組むしまた迷信深い
事実12: 仮に「「あの判は底深くて加えて御言い為さる」ということは誤りだ」ということは誤りであるということはないならばこの病原体は入り組まない
事実13: あの絞首台は底深くない
事実14: もしあの判は御言い為さらないとすると「この病原体は入り組まない」ということは本当である

仮説: この病原体は入り組まない
1. 事実1と事実10から、推論1: "「あの判が底深いしその上御言い為さる」ということは事実と異なる"が導かれる
2. 推論1と事実12から、仮説が導かれる

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