あの脳移植は収蔵数である
fact1: 仮に「とあるものは王位継承であるということはない一方でそれは休み始める」ということは本当であるとしたらあの脳移植は収蔵数だ fact2: 「王位継承であるし休み始める」物はある fact3: 「商社であるということはない」ものはある fact4: 何かは使い熟せらないけど撥ね飛ばす fact5: 「「王位継承でないけど休み始める」ものはある」ということは成り立つ fact6: 「収蔵数でない」物はある fact7: もしも何らかの物が王位継承でないがストップウォッチであるとするとその義務教育諸学校は十七マイル・ドライブである
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「とあるものは王位継承であるということはない一方でそれは休み始める」ということは本当であるとしたらあの脳移植は収蔵数だ fact2: 「王位継承であるし休み始める」物はある fact3: 「商社であるということはない」ものはある fact4: 何かは使い熟せらないけど撥ね飛ばす fact5: 「「王位継承でないけど休み始める」ものはある」ということは成り立つ fact6: 「収蔵数でない」物はある fact7: もしも何らかの物が王位継承でないがストップウォッチであるとするとその義務教育諸学校は十七マイル・ドライブである ; $hypothesis$ = あの脳移植は収蔵数である ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「とあるものは王位継承であるということはない一方でそれは休み始める」ということは本当であるとしたらあの脳移植は収蔵数だ
事実2: 「王位継承であるし休み始める」物はある
事実3: 「商社であるということはない」ものはある
事実4: 何かは使い熟せらないけど撥ね飛ばす
事実5: 「「王位継承でないけど休み始める」ものはある」ということは成り立つ
事実6: 「収蔵数でない」物はある
事実7: もしも何らかの物が王位継承でないがストップウォッチであるとするとその義務教育諸学校は十七マイル・ドライブである

仮説: あの脳移植は収蔵数である
1. 事実5と事実1から、仮説が導かれる

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