「もし仮に「救助出来なくてそれに約定しない」ということは成り立たないなら恭順しない」ものはある
fact1: もしもあの三百八十六世代が前景化しないし救助出来ないならそれはちっこくない fact2: もし「あの三百八十六世代は救助出来なくて加えて約定しない」ということは間違っていれば恭順するということはない fact3: 「仮に五十パーセント台であるなら想定し難いということはない」ものはある fact4: 「あの三百八十六世代は救助出来るということはなくて約定しない」ということは間違いであるとすれば恭順する fact5: 仮に「なにがしかのものは無声化し易くないものでありまた粽でない」ということは誤りであるとすればそれは栄養素でない
fact2 -> hypothesis;
「「無声化し易くないし更に粽でない」ということは間違っているなら栄養素でない」ものはある
fact6 -> int1: もし仮に「あの赤精子は無声化し易くないし加えて粽でない」ということは嘘だとしたら栄養素でない; int1 -> hypothesis;
$facts$ = fact1: もしもあの三百八十六世代が前景化しないし救助出来ないならそれはちっこくない fact2: もし「あの三百八十六世代は救助出来なくて加えて約定しない」ということは間違っていれば恭順するということはない fact3: 「仮に五十パーセント台であるなら想定し難いということはない」ものはある fact4: 「あの三百八十六世代は救助出来るということはなくて約定しない」ということは間違いであるとすれば恭順する fact5: 仮に「なにがしかのものは無声化し易くないものでありまた粽でない」ということは誤りであるとすればそれは栄養素でない ; $hypothesis$ = 「もし仮に「救助出来なくてそれに約定しない」ということは成り立たないなら恭順しない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもあの三百八十六世代が前景化しないし救助出来ないならそれはちっこくない
事実2: もし「あの三百八十六世代は救助出来なくて加えて約定しない」ということは間違っていれば恭順するということはない
事実3: 「仮に五十パーセント台であるなら想定し難いということはない」ものはある
事実4: 「あの三百八十六世代は救助出来るということはなくて約定しない」ということは間違いであるとすれば恭順する
事実5: 仮に「なにがしかのものは無声化し易くないものでありまた粽でない」ということは誤りであるとすればそれは栄養素でない

仮説: 「もし仮に「救助出来なくてそれに約定しない」ということは成り立たないなら恭順しない」ものはある
1. 事実2から、仮説が導かれる

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