あの安吾自身は取っ付き難くない
fact1: もしもあの安吾自身が俗っぽくないがニトラゼパム製剤であるとしたら取っ付き難くない fact2: あの安吾自身は俗っぽくないしおまけにニトラゼパム製剤でない fact3: 仮にとあるものが怖いとしたら取っ付き難い fact4: 仮にあの安吾自身がニトラゼパム製剤で更に取っ付き難いとしたらこの捜査担当検事はニトラゼパム製剤でない fact5: あの安吾自身はニトラゼパム製剤でない fact6: もし仮にあの安吾自身が逞しいなら水痘でないしさらに怖くない fact7: もし「あの安吾自身は俗っぽくないしそれはニトラゼパム製剤でない」ということは真実なら取っ付き難いということはない fact8: 全ては心服しない fact9: 「あの安吾自身はふてぶてしくないし嬉しくない」ということは成り立たないとしたら取っ付き難い fact10: もし仮になにがしかの物が心服しないとすればターンオーバーであるしその上全サンプルである fact11: そのＭＥＤＬＩＮＥは水痘でないなら「あの安吾自身は怖い」ということは確かである fact12: 仮になにかは全サンプルであるならば逞しい fact13: あの催吐は取っ付き難いということはない
fact7 & fact2 -> hypothesis;
fact7 & fact2 -> hypothesis;
この捜査担当検事はニトラゼパム製剤でない
fact19 -> int1: 仮にあの安吾自身は全サンプルであるとすると逞しい; fact18 -> int2: もしもそのＭＥＤＬＩＮＥが心服しないならばそれはターンオーバーでその上全サンプルである; fact14 -> int3: 「そのＭＥＤＬＩＮＥは心服しない」ということは真実だ; int2 & int3 -> int4: そのＭＥＤＬＩＮＥがターンオーバーだししかも全サンプルである; int4 -> int5: 全てはターンオーバーであるしそれに全サンプルである; int5 -> int6: あの安吾自身はターンオーバーだしまた全サンプルだ; int6 -> int7: あの安吾自身は全サンプルである; int1 & int7 -> int8: あの安吾自身は逞しい; int8 & fact15 -> int9: あの安吾自身は水痘でないし怖くない;
$facts$ = fact1: もしもあの安吾自身が俗っぽくないがニトラゼパム製剤であるとしたら取っ付き難くない fact2: あの安吾自身は俗っぽくないしおまけにニトラゼパム製剤でない fact3: 仮にとあるものが怖いとしたら取っ付き難い fact4: 仮にあの安吾自身がニトラゼパム製剤で更に取っ付き難いとしたらこの捜査担当検事はニトラゼパム製剤でない fact5: あの安吾自身はニトラゼパム製剤でない fact6: もし仮にあの安吾自身が逞しいなら水痘でないしさらに怖くない fact7: もし「あの安吾自身は俗っぽくないしそれはニトラゼパム製剤でない」ということは真実なら取っ付き難いということはない fact8: 全ては心服しない fact9: 「あの安吾自身はふてぶてしくないし嬉しくない」ということは成り立たないとしたら取っ付き難い fact10: もし仮になにがしかの物が心服しないとすればターンオーバーであるしその上全サンプルである fact11: そのＭＥＤＬＩＮＥは水痘でないなら「あの安吾自身は怖い」ということは確かである fact12: 仮になにかは全サンプルであるならば逞しい fact13: あの催吐は取っ付き難いということはない ; $hypothesis$ = あの安吾自身は取っ付き難くない ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: もしもあの安吾自身が俗っぽくないがニトラゼパム製剤であるとしたら取っ付き難くない
事実2: あの安吾自身は俗っぽくないしおまけにニトラゼパム製剤でない
事実3: 仮にとあるものが怖いとしたら取っ付き難い
事実4: 仮にあの安吾自身がニトラゼパム製剤で更に取っ付き難いとしたらこの捜査担当検事はニトラゼパム製剤でない
事実5: あの安吾自身はニトラゼパム製剤でない
事実6: もし仮にあの安吾自身が逞しいなら水痘でないしさらに怖くない
事実7: もし「あの安吾自身は俗っぽくないしそれはニトラゼパム製剤でない」ということは真実なら取っ付き難いということはない
事実8: 全ては心服しない
事実9: 「あの安吾自身はふてぶてしくないし嬉しくない」ということは成り立たないとしたら取っ付き難い
事実10: もし仮になにがしかの物が心服しないとすればターンオーバーであるしその上全サンプルである
事実11: そのＭＥＤＬＩＮＥは水痘でないなら「あの安吾自身は怖い」ということは確かである
事実12: 仮になにかは全サンプルであるならば逞しい
事実13: あの催吐は取っ付き難いということはない

仮説: あの安吾自身は取っ付き難くない
1. 事実7と事実2から、仮説が導かれる

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