「もし仮に腐り易くないなら「逆賊であるしけたたましい」ということは成り立たない」ものはある
fact1: もし仮に何らかのものは支え合いだということはないとすれば「それは解せるしそれに感心する」ということは成り立たない fact2: 仮に「その数値計算は腐り易い」ということは事実であるなら「それは逆賊でけたたましい」ということは成り立たない fact3: もし仮に「その数値計算は腐り易くない」ということは事実であるとすれば「それはミリオンセラーであるし僻みっぽい」ということは事実でない fact4: もしその数値計算は腐り易くないとすれば「それは逆賊だしけたたましい」ということは成り立たない fact5: もしその数値計算が腐り易くないとすればそれは逆賊であるしその上それはけたたましい fact6: 「仮に腐り易くないとすると逆賊だしけたたましい」ものはある fact7: 「含み益でないなら「絶え間無くて洗い終わる」ということは事実と異なる」ものはある fact8: もしもこの大数は逆賊であるということはないとすれば「付け上がるしそれに卦辞である」ということは事実と異なる fact9: 「「腐り易い」ということは事実だとすると「逆賊で加えてけたたましい」ということは本当でない」ものはある
fact4 -> hypothesis;
その数値計算は支え合いでないとしたら「それは解せるししかもそれは感心する」ということは事実と異なる
fact10 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものは支え合いだということはないとすれば「それは解せるしそれに感心する」ということは成り立たない fact2: 仮に「その数値計算は腐り易い」ということは事実であるなら「それは逆賊でけたたましい」ということは成り立たない fact3: もし仮に「その数値計算は腐り易くない」ということは事実であるとすれば「それはミリオンセラーであるし僻みっぽい」ということは事実でない fact4: もしその数値計算は腐り易くないとすれば「それは逆賊だしけたたましい」ということは成り立たない fact5: もしその数値計算が腐り易くないとすればそれは逆賊であるしその上それはけたたましい fact6: 「仮に腐り易くないとすると逆賊だしけたたましい」ものはある fact7: 「含み益でないなら「絶え間無くて洗い終わる」ということは事実と異なる」ものはある fact8: もしもこの大数は逆賊であるということはないとすれば「付け上がるしそれに卦辞である」ということは事実と異なる fact9: 「「腐り易い」ということは事実だとすると「逆賊で加えてけたたましい」ということは本当でない」ものはある ; $hypothesis$ = 「もし仮に腐り易くないなら「逆賊であるしけたたましい」ということは成り立たない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは支え合いだということはないとすれば「それは解せるしそれに感心する」ということは成り立たない
事実2: 仮に「その数値計算は腐り易い」ということは事実であるなら「それは逆賊でけたたましい」ということは成り立たない
事実3: もし仮に「その数値計算は腐り易くない」ということは事実であるとすれば「それはミリオンセラーであるし僻みっぽい」ということは事実でない
事実4: もしその数値計算は腐り易くないとすれば「それは逆賊だしけたたましい」ということは成り立たない
事実5: もしその数値計算が腐り易くないとすればそれは逆賊であるしその上それはけたたましい
事実6: 「仮に腐り易くないとすると逆賊だしけたたましい」ものはある
事実7: 「含み益でないなら「絶え間無くて洗い終わる」ということは事実と異なる」ものはある
事実8: もしもこの大数は逆賊であるということはないとすれば「付け上がるしそれに卦辞である」ということは事実と異なる
事実9: 「「腐り易い」ということは事実だとすると「逆賊で加えてけたたましい」ということは本当でない」ものはある

仮説: 「もし仮に腐り易くないなら「逆賊であるしけたたましい」ということは成り立たない」ものはある
1. 事実4から、仮説が導かれる

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