「もし仮に宙返りしないけれど年代物であるとすれば縮小表示中である」ものはある
fact1: 「もしも宙返りするしかつ年代物であるならば縮小表示中な」ものはある fact2: 「大規模臨床研究だしまた水切りするとしたら「溶き解す」ということは本当な」物はある fact3: もし仮にある物が掻き分けるということはないがそれが真ん丸いならばそれはちっちゃい fact4: もしもあの心像性は宙返りしないけど年代物だとしたら縮小表示中である fact5: 仮にあの心像性が宙返りするしまたそれは年代物であるとすると縮小表示中だ fact6: もしもあの心像性が縮小表示中でないがしかし心許ないなら縦書きだ fact7: 「もしも悲しくないしアジア進出なら脆い」ものはある fact8: 「もし空しかなくて生活し易いなら遊び出す」物はある
fact4 -> hypothesis;
fact4 -> hypothesis;
「仮に掻き分けないけれど真ん丸いならちっちゃい」物はある
fact9 -> int1: もしその職業紹介が掻き分けないがしかし真ん丸いならちっちゃい; int1 -> hypothesis;
$facts$ = fact1: 「もしも宙返りするしかつ年代物であるならば縮小表示中な」ものはある fact2: 「大規模臨床研究だしまた水切りするとしたら「溶き解す」ということは本当な」物はある fact3: もし仮にある物が掻き分けるということはないがそれが真ん丸いならばそれはちっちゃい fact4: もしもあの心像性は宙返りしないけど年代物だとしたら縮小表示中である fact5: 仮にあの心像性が宙返りするしまたそれは年代物であるとすると縮小表示中だ fact6: もしもあの心像性が縮小表示中でないがしかし心許ないなら縦書きだ fact7: 「もしも悲しくないしアジア進出なら脆い」ものはある fact8: 「もし空しかなくて生活し易いなら遊び出す」物はある ; $hypothesis$ = 「もし仮に宙返りしないけれど年代物であるとすれば縮小表示中である」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もしも宙返りするしかつ年代物であるならば縮小表示中な」ものはある
事実2: 「大規模臨床研究だしまた水切りするとしたら「溶き解す」ということは本当な」物はある
事実3: もし仮にある物が掻き分けるということはないがそれが真ん丸いならばそれはちっちゃい
事実4: もしもあの心像性は宙返りしないけど年代物だとしたら縮小表示中である
事実5: 仮にあの心像性が宙返りするしまたそれは年代物であるとすると縮小表示中だ
事実6: もしもあの心像性が縮小表示中でないがしかし心許ないなら縦書きだ
事実7: 「もしも悲しくないしアジア進出なら脆い」ものはある
事実8: 「もし空しかなくて生活し易いなら遊び出す」物はある

仮説: 「もし仮に宙返りしないけれど年代物であるとすれば縮小表示中である」ものはある
1. 事実4から、仮説が導かれる

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