「もし除外するし使用すらないならば「用足しする」ということは成り立つ」ものはある
fact1: 「仮にクランク角センサーだけれどカブスでないならば結集す」物はある fact2: 仮にあの概略図が除外するし加えてそれが使用すならそれは用足しする fact3: 「もし仮に除外するしまた使用すとすると用足しする」物はある fact4: もし仮にセルＥが習い覚えないとしたらそれは紳士らしい fact5: もしも心地良いものは危険細胞でないとしたらそれはヒントである fact6: 仮にあのカルスはくどいししかも新規本ならコンドロイチン硫酸である fact7: もし「あの概略図は除外する一方で使用すらない」ということは成り立つならそれは用足しする
fact7 -> hypothesis;
fact7 -> hypothesis;
もしあの概略図がセルＥだがしかしそれが習い覚えるということはないならば紳士らしい
fact8 -> hypothesis;
$facts$ = fact1: 「仮にクランク角センサーだけれどカブスでないならば結集す」物はある fact2: 仮にあの概略図が除外するし加えてそれが使用すならそれは用足しする fact3: 「もし仮に除外するしまた使用すとすると用足しする」物はある fact4: もし仮にセルＥが習い覚えないとしたらそれは紳士らしい fact5: もしも心地良いものは危険細胞でないとしたらそれはヒントである fact6: 仮にあのカルスはくどいししかも新規本ならコンドロイチン硫酸である fact7: もし「あの概略図は除外する一方で使用すらない」ということは成り立つならそれは用足しする ; $hypothesis$ = 「もし除外するし使用すらないならば「用足しする」ということは成り立つ」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「仮にクランク角センサーだけれどカブスでないならば結集す」物はある
事実2: 仮にあの概略図が除外するし加えてそれが使用すならそれは用足しする
事実3: 「もし仮に除外するしまた使用すとすると用足しする」物はある
事実4: もし仮にセルＥが習い覚えないとしたらそれは紳士らしい
事実5: もしも心地良いものは危険細胞でないとしたらそれはヒントである
事実6: 仮にあのカルスはくどいししかも新規本ならコンドロイチン硫酸である
事実7: もし「あの概略図は除外する一方で使用すらない」ということは成り立つならそれは用足しする

仮説: 「もし除外するし使用すらないならば「用足しする」ということは成り立つ」ものはある
1. 事実7から、仮説が導かれる

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