「「もしも古くないとしたら「退役するしさらに渡り掛ける」ということは偽な」ものはある」ということは確かだ
fact1: もしその三世紀が付け加えないならばそれは狭窄するしそれに対外だ fact2: 「仮に丸いとすれば「ばら蒔くしその上社会主義思想だ」ということは間違いである」物はある fact3: もしもこのアメリカ本土が近しないとすれば代参するしそれは古い fact4: 「付け加えるなら「登山出来るしその上迎う」ということは誤っている」ものはある fact5: 仮にこの同等以上は快くないとすると「それは退役するしさらに心憎い」ということは事実と異なる fact6: 「もし「正倉院文書だ」ということは事実でないとしたら「子供っぽくてさらにアクセスし易い」ということは成り立つということはない」物はある fact7: 仮にこの同等以上は社会主義思想でないなら「パーキンソン病患者でしかも退役する」ということは本当である fact8: とあるものは出し易くないとすると「それは代筆するしその上囲う」ということは成り立たない fact9: もしもこの同等以上は古くないとすれば「それは退役するしかつそれは渡り掛ける」ということは事実だということはない fact10: 「もしもほろ苦くないとすると「持ち難いしそれに徴収出来る」ということは嘘である」ものはある fact11: 「仮に落とし掛けないとすれば「誘致するしかつ御病人だ」ということは間違っている」ものはある fact12: 「黄色っぽくないとすれば御めでたくてまた四文字である」ものはある fact13: 仮にこの同等以上が賀茂神社だということはないとすると御待ちするし渡り掛ける
fact9 -> hypothesis;
「仮に出し易いということはないとすると「代筆するしそれに囲う」ということは嘘な」物はある
fact14 -> int1: もしもこの千人対は出し易くないとすれば「代筆するしそれは囲う」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もしその三世紀が付け加えないならばそれは狭窄するしそれに対外だ fact2: 「仮に丸いとすれば「ばら蒔くしその上社会主義思想だ」ということは間違いである」物はある fact3: もしもこのアメリカ本土が近しないとすれば代参するしそれは古い fact4: 「付け加えるなら「登山出来るしその上迎う」ということは誤っている」ものはある fact5: 仮にこの同等以上は快くないとすると「それは退役するしさらに心憎い」ということは事実と異なる fact6: 「もし「正倉院文書だ」ということは事実でないとしたら「子供っぽくてさらにアクセスし易い」ということは成り立つということはない」物はある fact7: 仮にこの同等以上は社会主義思想でないなら「パーキンソン病患者でしかも退役する」ということは本当である fact8: とあるものは出し易くないとすると「それは代筆するしその上囲う」ということは成り立たない fact9: もしもこの同等以上は古くないとすれば「それは退役するしかつそれは渡り掛ける」ということは事実だということはない fact10: 「もしもほろ苦くないとすると「持ち難いしそれに徴収出来る」ということは嘘である」ものはある fact11: 「仮に落とし掛けないとすれば「誘致するしかつ御病人だ」ということは間違っている」ものはある fact12: 「黄色っぽくないとすれば御めでたくてまた四文字である」ものはある fact13: 仮にこの同等以上が賀茂神社だということはないとすると御待ちするし渡り掛ける ; $hypothesis$ = 「「もしも古くないとしたら「退役するしさらに渡り掛ける」ということは偽な」ものはある」ということは確かだ ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしその三世紀が付け加えないならばそれは狭窄するしそれに対外だ
事実2: 「仮に丸いとすれば「ばら蒔くしその上社会主義思想だ」ということは間違いである」物はある
事実3: もしもこのアメリカ本土が近しないとすれば代参するしそれは古い
事実4: 「付け加えるなら「登山出来るしその上迎う」ということは誤っている」ものはある
事実5: 仮にこの同等以上は快くないとすると「それは退役するしさらに心憎い」ということは事実と異なる
事実6: 「もし「正倉院文書だ」ということは事実でないとしたら「子供っぽくてさらにアクセスし易い」ということは成り立つということはない」物はある
事実7: 仮にこの同等以上は社会主義思想でないなら「パーキンソン病患者でしかも退役する」ということは本当である
事実8: とあるものは出し易くないとすると「それは代筆するしその上囲う」ということは成り立たない
事実9: もしもこの同等以上は古くないとすれば「それは退役するしかつそれは渡り掛ける」ということは事実だということはない
事実10: 「もしもほろ苦くないとすると「持ち難いしそれに徴収出来る」ということは嘘である」ものはある
事実11: 「仮に落とし掛けないとすれば「誘致するしかつ御病人だ」ということは間違っている」ものはある
事実12: 「黄色っぽくないとすれば御めでたくてまた四文字である」ものはある
事実13: 仮にこの同等以上が賀茂神社だということはないとすると御待ちするし渡り掛ける

仮説: 「「もしも古くないとしたら「退役するしさらに渡り掛ける」ということは偽な」ものはある」ということは確かだ
1. 事実9から、仮説が導かれる

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