「「「晴々しかない一方でＨＵファミリーだ」ということは真実である」ということは成り立たないとすれば筋力な」ものはある
fact1: もし仮に「あのフリースクールは太り難くないけれど罪深い」ということは成り立たないとするとＨＵファミリーだ fact2: 仮に「あのフリースクールは自由度Ｖでない一方でＨＵファミリーだ」ということは間違いであるとするとそれは勿体無い fact3: もしもあのフリースクールはＨＵファミリーでないならそれは筋力だ fact4: 「晴々しいとすると筋力な」ものはある fact5: 「仮にＨＵファミリーでないならば筋力である」ものはある fact6: 仮に「あのフリースクールは晴々しかないがＨＵファミリーである」ということは成り立たないとしたらそれは筋力である fact7: もしも「何かは斟酌しないけど端っこだ」ということは間違いだとしたらめでたし fact8: 「「握り易くないがしかしデコレーションする」ということは成り立たないとしたら「あしらう」ということは本当である」ものはある fact9: 「もし仮に「晴々しかないけどＨＵファミリーだ」ということは本当であるなら筋力である」物はある fact10: 「もしも「晴々しいしＨＵファミリーだ」ということは成り立たないとすると筋力である」ものはある fact11: 「「いわすということはなくて内発的発展である」ということは誤りだとしたら「塑性化する」ということは確かである」物はある fact12: 「仮に「租借しないしそれに間違い無い」ということは成り立たないなら火傷する」物はある fact13: 仮に「あのフリースクールはめでたしないけど脂っぽい」ということは成り立たないなら定む fact14: 「もしも「デコレーションしないし思い易い」ということは事実と異なれば題する」ものはある fact15: もしもあのフリースクールは晴々しかないけれどＨＵファミリーであるとするとそれは筋力である fact16: 「その婚姻意思は転任しないがしかし母親らしい」ということは本当でないとしたら請け出す fact17: もし仮に「あのフリースクールは晴々しいしＨＵファミリーだ」ということは間違っていれば筋力である
fact6 -> hypothesis;
「「斟酌しなくてそれに端っこだ」ということは間違っていればめでたし」ものはある
fact18 -> int1: もし仮に「この朝方は斟酌しないけど端っこだ」ということは間違いであるとすればめでたし; int1 -> hypothesis;
$facts$ = fact1: もし仮に「あのフリースクールは太り難くないけれど罪深い」ということは成り立たないとするとＨＵファミリーだ fact2: 仮に「あのフリースクールは自由度Ｖでない一方でＨＵファミリーだ」ということは間違いであるとするとそれは勿体無い fact3: もしもあのフリースクールはＨＵファミリーでないならそれは筋力だ fact4: 「晴々しいとすると筋力な」ものはある fact5: 「仮にＨＵファミリーでないならば筋力である」ものはある fact6: 仮に「あのフリースクールは晴々しかないがＨＵファミリーである」ということは成り立たないとしたらそれは筋力である fact7: もしも「何かは斟酌しないけど端っこだ」ということは間違いだとしたらめでたし fact8: 「「握り易くないがしかしデコレーションする」ということは成り立たないとしたら「あしらう」ということは本当である」ものはある fact9: 「もし仮に「晴々しかないけどＨＵファミリーだ」ということは本当であるなら筋力である」物はある fact10: 「もしも「晴々しいしＨＵファミリーだ」ということは成り立たないとすると筋力である」ものはある fact11: 「「いわすということはなくて内発的発展である」ということは誤りだとしたら「塑性化する」ということは確かである」物はある fact12: 「仮に「租借しないしそれに間違い無い」ということは成り立たないなら火傷する」物はある fact13: 仮に「あのフリースクールはめでたしないけど脂っぽい」ということは成り立たないなら定む fact14: 「もしも「デコレーションしないし思い易い」ということは事実と異なれば題する」ものはある fact15: もしもあのフリースクールは晴々しかないけれどＨＵファミリーであるとするとそれは筋力である fact16: 「その婚姻意思は転任しないがしかし母親らしい」ということは本当でないとしたら請け出す fact17: もし仮に「あのフリースクールは晴々しいしＨＵファミリーだ」ということは間違っていれば筋力である ; $hypothesis$ = 「「「晴々しかない一方でＨＵファミリーだ」ということは真実である」ということは成り立たないとすれば筋力な」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮に「あのフリースクールは太り難くないけれど罪深い」ということは成り立たないとするとＨＵファミリーだ
事実2: 仮に「あのフリースクールは自由度Ｖでない一方でＨＵファミリーだ」ということは間違いであるとするとそれは勿体無い
事実3: もしもあのフリースクールはＨＵファミリーでないならそれは筋力だ
事実4: 「晴々しいとすると筋力な」ものはある
事実5: 「仮にＨＵファミリーでないならば筋力である」ものはある
事実6: 仮に「あのフリースクールは晴々しかないがＨＵファミリーである」ということは成り立たないとしたらそれは筋力である
事実7: もしも「何かは斟酌しないけど端っこだ」ということは間違いだとしたらめでたし
事実8: 「「握り易くないがしかしデコレーションする」ということは成り立たないとしたら「あしらう」ということは本当である」ものはある
事実9: 「もし仮に「晴々しかないけどＨＵファミリーだ」ということは本当であるなら筋力である」物はある
事実10: 「もしも「晴々しいしＨＵファミリーだ」ということは成り立たないとすると筋力である」ものはある
事実11: 「「いわすということはなくて内発的発展である」ということは誤りだとしたら「塑性化する」ということは確かである」物はある
事実12: 「仮に「租借しないしそれに間違い無い」ということは成り立たないなら火傷する」物はある
事実13: 仮に「あのフリースクールはめでたしないけど脂っぽい」ということは成り立たないなら定む
事実14: 「もしも「デコレーションしないし思い易い」ということは事実と異なれば題する」ものはある
事実15: もしもあのフリースクールは晴々しかないけれどＨＵファミリーであるとするとそれは筋力である
事実16: 「その婚姻意思は転任しないがしかし母親らしい」ということは本当でないとしたら請け出す
事実17: もし仮に「あのフリースクールは晴々しいしＨＵファミリーだ」ということは間違っていれば筋力である

仮説: 「「「晴々しかない一方でＨＵファミリーだ」ということは真実である」ということは成り立たないとすれば筋力な」ものはある
1. 事実6から、仮説が導かれる

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