「「仮に「巣・Ｅでないし更に摩り下ろすということはない」ということは間違っているとしたら歩み寄らない」ものはある」ということは確かだ
fact1: 「なにがしかのものは身軽いということはなくてそれに歩み寄らない」ということは成り立たないなら検査・試験でない fact2: 「もしも巣・Ｅだということはないしかつ摩り下ろすということはないとしたら歩み寄るということはない」物はある fact3: 仮にその胆道疾患は点てるとしたら「それは解け易くない」ということは事実である fact4: もし「そのレストは巣・Ｅでなくておまけに摩り下ろすということはない」ということは確かでないとしたらそれは歩み寄らない fact5: 仮にそのレストが摩り下ろすとすると歩み寄るということはない fact6: もしもそのレストは巣・Ｅでないしすっごーいということはないなら「それはプロレタリア層でない」ということは真実である
fact4 -> hypothesis;
もし仮に「このＮＪＷは身軽くないし加えてそれは歩み寄るということはない」ということは誤りだとすれば「それは検査・試験でない」ということは本当である
fact7 -> hypothesis;
$facts$ = fact1: 「なにがしかのものは身軽いということはなくてそれに歩み寄らない」ということは成り立たないなら検査・試験でない fact2: 「もしも巣・Ｅだということはないしかつ摩り下ろすということはないとしたら歩み寄るということはない」物はある fact3: 仮にその胆道疾患は点てるとしたら「それは解け易くない」ということは事実である fact4: もし「そのレストは巣・Ｅでなくておまけに摩り下ろすということはない」ということは確かでないとしたらそれは歩み寄らない fact5: 仮にそのレストが摩り下ろすとすると歩み寄るということはない fact6: もしもそのレストは巣・Ｅでないしすっごーいということはないなら「それはプロレタリア層でない」ということは真実である ; $hypothesis$ = 「「仮に「巣・Ｅでないし更に摩り下ろすということはない」ということは間違っているとしたら歩み寄らない」ものはある」ということは確かだ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「なにがしかのものは身軽いということはなくてそれに歩み寄らない」ということは成り立たないなら検査・試験でない
事実2: 「もしも巣・Ｅだということはないしかつ摩り下ろすということはないとしたら歩み寄るということはない」物はある
事実3: 仮にその胆道疾患は点てるとしたら「それは解け易くない」ということは事実である
事実4: もし「そのレストは巣・Ｅでなくておまけに摩り下ろすということはない」ということは確かでないとしたらそれは歩み寄らない
事実5: 仮にそのレストが摩り下ろすとすると歩み寄るということはない
事実6: もしもそのレストは巣・Ｅでないしすっごーいということはないなら「それはプロレタリア層でない」ということは真実である

仮説: 「「仮に「巣・Ｅでないし更に摩り下ろすということはない」ということは間違っているとしたら歩み寄らない」ものはある」ということは確かだ
1. 事実4から、仮説が導かれる

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