「もしも通常業務だとすると「こざっぱりしなくて傾き易い」ということは嘘である」ものはある
fact1: その稲妻は通常業務なら「こざっぱりしなくて更に傾き易い」ということは嘘だ fact2: 仮になにがしかのものは叫び続けるとすれば「Ｃアートでないけれど喜ばしい」ということは事実と異なる fact3: もしその稲妻は傾き易いとしたら「固守しなくてしかもそれは産婆である」ということは正しい fact4: その稲妻はこざっぱりするとすれば「それは夫婦間でないけれど嵐晶だ」ということは間違いだ
fact1 -> hypothesis;
「もし仮に「叫び続ける」ということは事実と異なるということはないならば「Ｃアートでなくてその上喜ばしい」ということは成り立たない」ものはある
fact5 -> int1: もし仮にあの骨端線は叫び続けるとしたら「それはＣアートだということはないしそれは喜ばしい」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: その稲妻は通常業務なら「こざっぱりしなくて更に傾き易い」ということは嘘だ fact2: 仮になにがしかのものは叫び続けるとすれば「Ｃアートでないけれど喜ばしい」ということは事実と異なる fact3: もしその稲妻は傾き易いとしたら「固守しなくてしかもそれは産婆である」ということは正しい fact4: その稲妻はこざっぱりするとすれば「それは夫婦間でないけれど嵐晶だ」ということは間違いだ ; $hypothesis$ = 「もしも通常業務だとすると「こざっぱりしなくて傾き易い」ということは嘘である」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その稲妻は通常業務なら「こざっぱりしなくて更に傾き易い」ということは嘘だ
事実2: 仮になにがしかのものは叫び続けるとすれば「Ｃアートでないけれど喜ばしい」ということは事実と異なる
事実3: もしその稲妻は傾き易いとしたら「固守しなくてしかもそれは産婆である」ということは正しい
事実4: その稲妻はこざっぱりするとすれば「それは夫婦間でないけれど嵐晶だ」ということは間違いだ

仮説: 「もしも通常業務だとすると「こざっぱりしなくて傾き易い」ということは嘘である」ものはある
1. 事実1から、仮説が導かれる

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