「「もし仮に「相接しなくて書き難くない」ということは嘘であるとしたら「及び難い」ということは事実である」物はある」ということは確かである
fact1: もしも「「なにがしかのものは当たり難くないしおまけに衒わない」ということは成り立つ」ということは成り立たないとすればどやし付ける fact2: 「「もし仮に「相接するし更に書き難くない」ということは成り立たないとすれば及び難い」ものはある」ということは事実だ fact3: 「仮に「命釘であるということはないが燐酸化する」ということは成り立たないなら「自販機である」ということは本当である」ものはある fact4: 「「書き難い」ということは成り立てば及び難い」物はある fact5: 「群がらなくてしかも徹底するということはないとすれば自販機である」物はある fact6: 「もしも相接するなら及び難い」物はある fact7: 「もし刺々しかなくてかつ非難がましかないなら聞こえ出す」物はある fact8: 「そのガラス工房は朗読会でないがしかし申し訳無い」ということは誤っているとしたらそれは面白い fact9: 「もしも「特定支出でない一方でぶらぶらする」ということは誤りだとすれば青白い」ものはある fact10: 「もし仮に「非難がましくらないしさらにブラッシングしない」ということは事実と異なれば揺るぎない」物はある fact11: 「もしサービス受給者でないしかつ総合職でないとすると非難がましい」ものはある fact12: もし仮にそのガラス工房が焚けるとすればそれは鑑みる fact13: もし「そのガラス工房は苦くないしかつ鑑みない」ということは事実でないとすると「それは及び難い」ということは真実だ fact14: 「そのガラス工房は相接するということはないし書き難くない」ということは誤りならば「及び難い」ということは間違っていない fact15: 「もし仮に教育リーグだとすれば科学的知識な」物はある fact16: もし「そのガラス工房は御寒くないけれど甘噛みする」ということは成り立たないとしたらそれは科学的知識である fact17: 「仮に起こり得れば起き易い」物はある fact18: もし仮に「何らかの物は疲れ始めないしそれに何気無くない」ということは間違っていればそれは相接する fact19: 仮に「何かは凡眼でないし確認し難いということはない」ということは成り立たないならはしたない fact20: もしも「「あの気密工事は決定出来るがしかし柔くない」ということは本当だ」ということは間違っていれば書き難い
fact14 -> hypothesis;
「「もし「「当たり難くないしおまけに衒わない」ということは確かだ」ということは誤りであるとするとどやし付ける」ものはある」ということは成り立つ
fact21 -> int1: 仮に「この設定位置は当たり難くなくて加えて衒わない」ということは誤りであるとすればそれはどやし付ける; int1 -> hypothesis;
$facts$ = fact1: もしも「「なにがしかのものは当たり難くないしおまけに衒わない」ということは成り立つ」ということは成り立たないとすればどやし付ける fact2: 「「もし仮に「相接するし更に書き難くない」ということは成り立たないとすれば及び難い」ものはある」ということは事実だ fact3: 「仮に「命釘であるということはないが燐酸化する」ということは成り立たないなら「自販機である」ということは本当である」ものはある fact4: 「「書き難い」ということは成り立てば及び難い」物はある fact5: 「群がらなくてしかも徹底するということはないとすれば自販機である」物はある fact6: 「もしも相接するなら及び難い」物はある fact7: 「もし刺々しかなくてかつ非難がましかないなら聞こえ出す」物はある fact8: 「そのガラス工房は朗読会でないがしかし申し訳無い」ということは誤っているとしたらそれは面白い fact9: 「もしも「特定支出でない一方でぶらぶらする」ということは誤りだとすれば青白い」ものはある fact10: 「もし仮に「非難がましくらないしさらにブラッシングしない」ということは事実と異なれば揺るぎない」物はある fact11: 「もしサービス受給者でないしかつ総合職でないとすると非難がましい」ものはある fact12: もし仮にそのガラス工房が焚けるとすればそれは鑑みる fact13: もし「そのガラス工房は苦くないしかつ鑑みない」ということは事実でないとすると「それは及び難い」ということは真実だ fact14: 「そのガラス工房は相接するということはないし書き難くない」ということは誤りならば「及び難い」ということは間違っていない fact15: 「もし仮に教育リーグだとすれば科学的知識な」物はある fact16: もし「そのガラス工房は御寒くないけれど甘噛みする」ということは成り立たないとしたらそれは科学的知識である fact17: 「仮に起こり得れば起き易い」物はある fact18: もし仮に「何らかの物は疲れ始めないしそれに何気無くない」ということは間違っていればそれは相接する fact19: 仮に「何かは凡眼でないし確認し難いということはない」ということは成り立たないならはしたない fact20: もしも「「あの気密工事は決定出来るがしかし柔くない」ということは本当だ」ということは間違っていれば書き難い ; $hypothesis$ = 「「もし仮に「相接しなくて書き難くない」ということは嘘であるとしたら「及び難い」ということは事実である」物はある」ということは確かである ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: もしも「「なにがしかのものは当たり難くないしおまけに衒わない」ということは成り立つ」ということは成り立たないとすればどやし付ける
事実2: 「「もし仮に「相接するし更に書き難くない」ということは成り立たないとすれば及び難い」ものはある」ということは事実だ
事実3: 「仮に「命釘であるということはないが燐酸化する」ということは成り立たないなら「自販機である」ということは本当である」ものはある
事実4: 「「書き難い」ということは成り立てば及び難い」物はある
事実5: 「群がらなくてしかも徹底するということはないとすれば自販機である」物はある
事実6: 「もしも相接するなら及び難い」物はある
事実7: 「もし刺々しかなくてかつ非難がましかないなら聞こえ出す」物はある
事実8: 「そのガラス工房は朗読会でないがしかし申し訳無い」ということは誤っているとしたらそれは面白い
事実9: 「もしも「特定支出でない一方でぶらぶらする」ということは誤りだとすれば青白い」ものはある
事実10: 「もし仮に「非難がましくらないしさらにブラッシングしない」ということは事実と異なれば揺るぎない」物はある
事実11: 「もしサービス受給者でないしかつ総合職でないとすると非難がましい」ものはある
事実12: もし仮にそのガラス工房が焚けるとすればそれは鑑みる
事実13: もし「そのガラス工房は苦くないしかつ鑑みない」ということは事実でないとすると「それは及び難い」ということは真実だ
事実14: 「そのガラス工房は相接するということはないし書き難くない」ということは誤りならば「及び難い」ということは間違っていない
事実15: 「もし仮に教育リーグだとすれば科学的知識な」物はある
事実16: もし「そのガラス工房は御寒くないけれど甘噛みする」ということは成り立たないとしたらそれは科学的知識である
事実17: 「仮に起こり得れば起き易い」物はある
事実18: もし仮に「何らかの物は疲れ始めないしそれに何気無くない」ということは間違っていればそれは相接する
事実19: 仮に「何かは凡眼でないし確認し難いということはない」ということは成り立たないならはしたない
事実20: もしも「「あの気密工事は決定出来るがしかし柔くない」ということは本当だ」ということは間違っていれば書き難い

仮説: 「「もし仮に「相接しなくて書き難くない」ということは嘘であるとしたら「及び難い」ということは事実である」物はある」ということは確かである
1. 事実14から、仮説が導かれる

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