「もし仮に入り易いしまた見入らないとすればえげつない」ものはある
fact1: あの尻切れは見入るけど参加し易くないとすれば疑わし fact2: 「もしも割り出すしかつリフレッシュ出来ないならば感得する」ものはある fact3: もしもあの囚徒は詩ちゃんである一方で見入らないとしたら男っぽい fact4: もしあの尻切れは入り易いし見入るとするとえげつない fact5: 「もし仮に入り易いし更に見入るとしたらえげつない」ものはある fact6: 仮にあの加工部品が眩し過ぎるがしかし見入らないならば優しい fact7: 仮にあの尻切れは入り易い一方で見入らないならえげつない fact8: あの尻切れは入り易いけれどリンスしないとすれば「それは割り出す」ということは成り立つ fact9: 仮にえげつないものはしがみ付かないとするとそれは右手薬指である
fact7 -> hypothesis;
この稟議書はえげつない一方でしがみ付かないとすれば右手薬指である
fact10 -> hypothesis;
$facts$ = fact1: あの尻切れは見入るけど参加し易くないとすれば疑わし fact2: 「もしも割り出すしかつリフレッシュ出来ないならば感得する」ものはある fact3: もしもあの囚徒は詩ちゃんである一方で見入らないとしたら男っぽい fact4: もしあの尻切れは入り易いし見入るとするとえげつない fact5: 「もし仮に入り易いし更に見入るとしたらえげつない」ものはある fact6: 仮にあの加工部品が眩し過ぎるがしかし見入らないならば優しい fact7: 仮にあの尻切れは入り易い一方で見入らないならえげつない fact8: あの尻切れは入り易いけれどリンスしないとすれば「それは割り出す」ということは成り立つ fact9: 仮にえげつないものはしがみ付かないとするとそれは右手薬指である ; $hypothesis$ = 「もし仮に入り易いしまた見入らないとすればえげつない」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: あの尻切れは見入るけど参加し易くないとすれば疑わし
事実2: 「もしも割り出すしかつリフレッシュ出来ないならば感得する」ものはある
事実3: もしもあの囚徒は詩ちゃんである一方で見入らないとしたら男っぽい
事実4: もしあの尻切れは入り易いし見入るとするとえげつない
事実5: 「もし仮に入り易いし更に見入るとしたらえげつない」ものはある
事実6: 仮にあの加工部品が眩し過ぎるがしかし見入らないならば優しい
事実7: 仮にあの尻切れは入り易い一方で見入らないならえげつない
事実8: あの尻切れは入り易いけれどリンスしないとすれば「それは割り出す」ということは成り立つ
事実9: 仮にえげつないものはしがみ付かないとするとそれは右手薬指である

仮説: 「もし仮に入り易いしまた見入らないとすればえげつない」ものはある
1. 事実7から、仮説が導かれる

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