「もしも「管理上だしおまけにスタンダール紹介である」ということは誤りだとすれば「猛反対でない」ということは事実な」物はある
fact1: 「もし「管理上であるし更にスタンダール紹介である」ということは間違いであるとすれば「猛反対だ」ということは成り立つ」ものはある fact2: もし「なにかは意義深いしそれは手際良い」ということは成り立たないとすればスタートチャッカーでない fact3: もしそのユニゾンは猛反対でないなら負ぶうない fact4: 「この地下鉄駅は上昇し易くて猛反対だ」ということは誤っているなら負ぶうということはない fact5: もしもそのユニゾンが管理上であるしスタンダール紹介であるならば猛反対でない fact6: もし「「そのユニゾンは猛反対であるしその上打ち壊す」ということは成り立つ」ということは嘘であるとしたら丸い fact7: 「仮に頭ごなしでそれに得られ難いとすれば常連らしくない」物はある fact8: もし仮にそのユニゾンは猛反対でないとしたら売布神社でない fact9: 「もし管理上はスタンダール紹介であるならそれは猛反対でない」ということは確かである fact10: もしも「そのユニゾンがシステム間だし更にそれは文理学部である」ということは正しくないとしたらそれは観賞しない fact11: もしある物は管理上でないとしたらそれは猛反対でない fact12: 「もし「二千系であるし更にくすねる」ということは成り立つということはないとすると赤黒いということはない」物はある fact13: もしも「何かは管理上であるしおまけにスタンダール紹介である」ということは成り立たないとすると「猛反対でない」ということは確かである fact14: もし仮に「「なにかは凛とするしそれは上がり込む」ということは事実である」ということは間違いであるなら「対等性でない」ということは本当だ fact15: もし仮に「そのユニゾンは転属するしそれにスタートチャッカーである」ということは成り立たないなら誦しない fact16: 「もししつっこいしその上くすねるとすると十九世紀でない」物はある fact17: もし「「なにがしかの物が管理上だしスタンダール紹介である」ということは成り立つ」ということは間違いであるとするとそれは猛反対である fact18: 「そのユニゾンが配膳だしさらに猛反対する」ということは偽であるならばそれは猛反対である fact19: 「もし仮に政策領域でないとすれば「手招きしない」ということは確かである」ものはある fact20: もしも「ある物は因り難くて手際良い」ということは成り立たないとすれば膣性交でない fact21: 「用心深くないなら再発し易くない」物はある
fact13 -> int1: もしも「そのユニゾンは管理上であるしスタンダール紹介である」ということは事実でないならば猛反対でない; int1 -> hypothesis;
$facts$ = fact1: 「もし「管理上であるし更にスタンダール紹介である」ということは間違いであるとすれば「猛反対だ」ということは成り立つ」ものはある fact2: もし「なにかは意義深いしそれは手際良い」ということは成り立たないとすればスタートチャッカーでない fact3: もしそのユニゾンは猛反対でないなら負ぶうない fact4: 「この地下鉄駅は上昇し易くて猛反対だ」ということは誤っているなら負ぶうということはない fact5: もしもそのユニゾンが管理上であるしスタンダール紹介であるならば猛反対でない fact6: もし「「そのユニゾンは猛反対であるしその上打ち壊す」ということは成り立つ」ということは嘘であるとしたら丸い fact7: 「仮に頭ごなしでそれに得られ難いとすれば常連らしくない」物はある fact8: もし仮にそのユニゾンは猛反対でないとしたら売布神社でない fact9: 「もし管理上はスタンダール紹介であるならそれは猛反対でない」ということは確かである fact10: もしも「そのユニゾンがシステム間だし更にそれは文理学部である」ということは正しくないとしたらそれは観賞しない fact11: もしある物は管理上でないとしたらそれは猛反対でない fact12: 「もし「二千系であるし更にくすねる」ということは成り立つということはないとすると赤黒いということはない」物はある fact13: もしも「何かは管理上であるしおまけにスタンダール紹介である」ということは成り立たないとすると「猛反対でない」ということは確かである fact14: もし仮に「「なにかは凛とするしそれは上がり込む」ということは事実である」ということは間違いであるなら「対等性でない」ということは本当だ fact15: もし仮に「そのユニゾンは転属するしそれにスタートチャッカーである」ということは成り立たないなら誦しない fact16: 「もししつっこいしその上くすねるとすると十九世紀でない」物はある fact17: もし「「なにがしかの物が管理上だしスタンダール紹介である」ということは成り立つ」ということは間違いであるとするとそれは猛反対である fact18: 「そのユニゾンが配膳だしさらに猛反対する」ということは偽であるならばそれは猛反対である fact19: 「もし仮に政策領域でないとすれば「手招きしない」ということは確かである」ものはある fact20: もしも「ある物は因り難くて手際良い」ということは成り立たないとすれば膣性交でない fact21: 「用心深くないなら再発し易くない」物はある ; $hypothesis$ = 「もしも「管理上だしおまけにスタンダール紹介である」ということは誤りだとすれば「猛反対でない」ということは事実な」物はある ; $proof$ = 
fact13 -> int1: もしも「そのユニゾンは管理上であるしスタンダール紹介である」ということは事実でないならば猛反対でない; int1 -> hypothesis; __PROVED__
事実1: 「もし「管理上であるし更にスタンダール紹介である」ということは間違いであるとすれば「猛反対だ」ということは成り立つ」ものはある
事実2: もし「なにかは意義深いしそれは手際良い」ということは成り立たないとすればスタートチャッカーでない
事実3: もしそのユニゾンは猛反対でないなら負ぶうない
事実4: 「この地下鉄駅は上昇し易くて猛反対だ」ということは誤っているなら負ぶうということはない
事実5: もしもそのユニゾンが管理上であるしスタンダール紹介であるならば猛反対でない
事実6: もし「「そのユニゾンは猛反対であるしその上打ち壊す」ということは成り立つ」ということは嘘であるとしたら丸い
事実7: 「仮に頭ごなしでそれに得られ難いとすれば常連らしくない」物はある
事実8: もし仮にそのユニゾンは猛反対でないとしたら売布神社でない
事実9: 「もし管理上はスタンダール紹介であるならそれは猛反対でない」ということは確かである
事実10: もしも「そのユニゾンがシステム間だし更にそれは文理学部である」ということは正しくないとしたらそれは観賞しない
事実11: もしある物は管理上でないとしたらそれは猛反対でない
事実12: 「もし「二千系であるし更にくすねる」ということは成り立つということはないとすると赤黒いということはない」物はある
事実13: もしも「何かは管理上であるしおまけにスタンダール紹介である」ということは成り立たないとすると「猛反対でない」ということは確かである
事実14: もし仮に「「なにかは凛とするしそれは上がり込む」ということは事実である」ということは間違いであるなら「対等性でない」ということは本当だ
事実15: もし仮に「そのユニゾンは転属するしそれにスタートチャッカーである」ということは成り立たないなら誦しない
事実16: 「もししつっこいしその上くすねるとすると十九世紀でない」物はある
事実17: もし「「なにがしかの物が管理上だしスタンダール紹介である」ということは成り立つ」ということは間違いであるとするとそれは猛反対である
事実18: 「そのユニゾンが配膳だしさらに猛反対する」ということは偽であるならばそれは猛反対である
事実19: 「もし仮に政策領域でないとすれば「手招きしない」ということは確かである」ものはある
事実20: もしも「ある物は因り難くて手際良い」ということは成り立たないとすれば膣性交でない
事実21: 「用心深くないなら再発し易くない」物はある

仮説: 「もしも「管理上だしおまけにスタンダール紹介である」ということは誤りだとすれば「猛反対でない」ということは事実な」物はある
1. 事実13から、推論1: "もしも「そのユニゾンは管理上であるしスタンダール紹介である」ということは事実でないならば猛反対でない"が導かれる
2. 推論1から、仮説が導かれる

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