「もし血友病治療でないなら「迷い易くないかもしくは避け難い」ということは間違いである」物はある
fact1: 「もしも「厚労である」ということは真実であるとすれば「誘導路でないかあるいは実現化するかまたはどちらもである」ということは事実と異なる」ものはある fact2: もし仮になにがしかのものは服薬行動でないとすれば「それは激しないかもしくは避け難いかもしくは両方だ」ということは誤りである fact3: 「仮に血友病治療でないならば迷い易くないかもしくは避け難いかまたは両方ともな」ものはある fact4: 「仮に血友病治療だとすると「迷い易くないかもしくは避け難いかもしくはどちらもである」ということは嘘な」ものはある fact5: もしもこの摂政が天使らしくないとしたらそれは血友病治療でないかそれは表わす fact6: もし仮に「この摂政はＭＢＥ法だということはない」ということは成り立つとしたら斜面培地でないか紙であるかまたは両方だ fact7: 「仮に血友病治療であるということはないとしたら迷い易い」ものはある fact8: 「この摂政は接吻しない」ということは成り立てば血友病治療でないかまたは想定し難い fact9: 「裏側でないとしたら精神遅滞でないか紙な」物はある fact10: この摂政は血友病治療でないならば「それは迷い易くないかあるいは避け難いか両方である」ということは間違いだ fact11: この摂政は血友病治療であるということはないなら「それは迷い易いかもしくは避け難い」ということは間違いだ fact12: 「もし「不正利用する」ということは本当だとすれば「譲歩出来ないか錆無いかまたはどちらもだ」ということは成り立たない」ものはある fact13: とあるものはドアップであるということはないとすると「血友病治療だということはないかあるいは食べ易いかあるいは両方である」ということは成り立たない fact14: 「もし仮にドアップでないとしたら構成事業者でない」物はある
fact10 -> hypothesis;
「この摂政はドアップでない」ということは正しいとしたら「血友病治療でないか食べ易いかもしくは両方ともである」ということは間違っている
fact15 -> hypothesis;
$facts$ = fact1: 「もしも「厚労である」ということは真実であるとすれば「誘導路でないかあるいは実現化するかまたはどちらもである」ということは事実と異なる」ものはある fact2: もし仮になにがしかのものは服薬行動でないとすれば「それは激しないかもしくは避け難いかもしくは両方だ」ということは誤りである fact3: 「仮に血友病治療でないならば迷い易くないかもしくは避け難いかまたは両方ともな」ものはある fact4: 「仮に血友病治療だとすると「迷い易くないかもしくは避け難いかもしくはどちらもである」ということは嘘な」ものはある fact5: もしもこの摂政が天使らしくないとしたらそれは血友病治療でないかそれは表わす fact6: もし仮に「この摂政はＭＢＥ法だということはない」ということは成り立つとしたら斜面培地でないか紙であるかまたは両方だ fact7: 「仮に血友病治療であるということはないとしたら迷い易い」ものはある fact8: 「この摂政は接吻しない」ということは成り立てば血友病治療でないかまたは想定し難い fact9: 「裏側でないとしたら精神遅滞でないか紙な」物はある fact10: この摂政は血友病治療でないならば「それは迷い易くないかあるいは避け難いか両方である」ということは間違いだ fact11: この摂政は血友病治療であるということはないなら「それは迷い易いかもしくは避け難い」ということは間違いだ fact12: 「もし「不正利用する」ということは本当だとすれば「譲歩出来ないか錆無いかまたはどちらもだ」ということは成り立たない」ものはある fact13: とあるものはドアップであるということはないとすると「血友病治療だということはないかあるいは食べ易いかあるいは両方である」ということは成り立たない fact14: 「もし仮にドアップでないとしたら構成事業者でない」物はある ; $hypothesis$ = 「もし血友病治療でないなら「迷い易くないかもしくは避け難い」ということは間違いである」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「もしも「厚労である」ということは真実であるとすれば「誘導路でないかあるいは実現化するかまたはどちらもである」ということは事実と異なる」ものはある
事実2: もし仮になにがしかのものは服薬行動でないとすれば「それは激しないかもしくは避け難いかもしくは両方だ」ということは誤りである
事実3: 「仮に血友病治療でないならば迷い易くないかもしくは避け難いかまたは両方ともな」ものはある
事実4: 「仮に血友病治療だとすると「迷い易くないかもしくは避け難いかもしくはどちらもである」ということは嘘な」ものはある
事実5: もしもこの摂政が天使らしくないとしたらそれは血友病治療でないかそれは表わす
事実6: もし仮に「この摂政はＭＢＥ法だということはない」ということは成り立つとしたら斜面培地でないか紙であるかまたは両方だ
事実7: 「仮に血友病治療であるということはないとしたら迷い易い」ものはある
事実8: 「この摂政は接吻しない」ということは成り立てば血友病治療でないかまたは想定し難い
事実9: 「裏側でないとしたら精神遅滞でないか紙な」物はある
事実10: この摂政は血友病治療でないならば「それは迷い易くないかあるいは避け難いか両方である」ということは間違いだ
事実11: この摂政は血友病治療であるということはないなら「それは迷い易いかもしくは避け難い」ということは間違いだ
事実12: 「もし「不正利用する」ということは本当だとすれば「譲歩出来ないか錆無いかまたはどちらもだ」ということは成り立たない」ものはある
事実13: とあるものはドアップであるということはないとすると「血友病治療だということはないかあるいは食べ易いかあるいは両方である」ということは成り立たない
事実14: 「もし仮にドアップでないとしたら構成事業者でない」物はある

仮説: 「もし血友病治療でないなら「迷い易くないかもしくは避け難い」ということは間違いである」物はある
1. 事実10から、仮説が導かれる

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