「「世話しないししかも粘り強い」ということは偽であるとすれば発生可能性でない」物はある
fact1: 「「もしも粘り強くないとすると発生可能性でない」ものはある」ということは事実である fact2: もし仮に「なんらかの物は発生可能性でない一方で遜色無い」ということは成り立たないとしたら憎々しくない fact3: もし仮に「あの各粒子は世話しないがしかし粘り強い」ということは間違いであるならば発生可能性だ fact4: 仮にあの各粒子は世話しないが粘り強いならば発生可能性でない fact5: 「もしも「世話するしその上粘り強い」ということは事実でないなら発生可能性でない」ものはある fact6: 「仮に世話するなら発生可能性でない」物はある fact7: 仮に「あの各粒子は世話するし加えてそれは粘り強い」ということは成り立たないとすると発生可能性でない fact8: 「もしも「世話するということはないし加えて粘り強い」ということは成り立たないとすると発生可能性な」ものはある fact9: 「もし仮に世話しないがしかし粘り強いとしたら発生可能性でない」ものはある fact10: 「「あの各粒子は世話しないけれど粘り強い」ということは正しい」ということは成り立たないなら発生可能性でない
fact10 -> hypothesis;
仮に「あの女神像は発生可能性でない一方で遜色無い」ということは事実と異なるなら「憎々しくない」ということは事実だ
fact11 -> hypothesis;
$facts$ = fact1: 「「もしも粘り強くないとすると発生可能性でない」ものはある」ということは事実である fact2: もし仮に「なんらかの物は発生可能性でない一方で遜色無い」ということは成り立たないとしたら憎々しくない fact3: もし仮に「あの各粒子は世話しないがしかし粘り強い」ということは間違いであるならば発生可能性だ fact4: 仮にあの各粒子は世話しないが粘り強いならば発生可能性でない fact5: 「もしも「世話するしその上粘り強い」ということは事実でないなら発生可能性でない」ものはある fact6: 「仮に世話するなら発生可能性でない」物はある fact7: 仮に「あの各粒子は世話するし加えてそれは粘り強い」ということは成り立たないとすると発生可能性でない fact8: 「もしも「世話するということはないし加えて粘り強い」ということは成り立たないとすると発生可能性な」ものはある fact9: 「もし仮に世話しないがしかし粘り強いとしたら発生可能性でない」ものはある fact10: 「「あの各粒子は世話しないけれど粘り強い」ということは正しい」ということは成り立たないなら発生可能性でない ; $hypothesis$ = 「「世話しないししかも粘り強い」ということは偽であるとすれば発生可能性でない」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「「もしも粘り強くないとすると発生可能性でない」ものはある」ということは事実である
事実2: もし仮に「なんらかの物は発生可能性でない一方で遜色無い」ということは成り立たないとしたら憎々しくない
事実3: もし仮に「あの各粒子は世話しないがしかし粘り強い」ということは間違いであるならば発生可能性だ
事実4: 仮にあの各粒子は世話しないが粘り強いならば発生可能性でない
事実5: 「もしも「世話するしその上粘り強い」ということは事実でないなら発生可能性でない」ものはある
事実6: 「仮に世話するなら発生可能性でない」物はある
事実7: 仮に「あの各粒子は世話するし加えてそれは粘り強い」ということは成り立たないとすると発生可能性でない
事実8: 「もしも「世話するということはないし加えて粘り強い」ということは成り立たないとすると発生可能性な」ものはある
事実9: 「もし仮に世話しないがしかし粘り強いとしたら発生可能性でない」ものはある
事実10: 「「あの各粒子は世話しないけれど粘り強い」ということは正しい」ということは成り立たないなら発生可能性でない

仮説: 「「世話しないししかも粘り強い」ということは偽であるとすれば発生可能性でない」物はある
1. 事実10から、仮説が導かれる

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