その観桜は議決権比率である
fact1: このナイロンロープは四月決算会社である fact2: もしも「とあるものは馬鹿らしくない一方で老朽する」ということは正しくないならばそれは前章参照である fact3: もしもあの香港返還が議決権比率でなくてまた四月決算会社でないとするとその観桜は議決権比率でない fact4: あの香港返還は議決権比率である fact5: 「前章参照は算定す」ということは成り立つ fact6: その観桜は帝国支配である fact7: あの香港返還が議決権比率であるならその観桜は四月決算会社である fact8: 「大島颪でない」ものはある fact9: あの香港返還は四月決算会社だ fact10: この真夜中過ぎは四月決算会社である fact11: もしもあるものが算定すとしたら段取り替えだ fact12: その観桜が四月決算会社であるとしたらあの香港返還は議決権比率だ fact13: もしもあの香港返還が四月決算会社ならその観桜は議決権比率だ
fact13 & fact9 -> hypothesis;
fact13 & fact9 -> hypothesis;
その観桜は議決権比率でない
fact18 -> int1: もしもその十数人が算定すなら段取り替えだ; fact16 -> int2: もし仮にその十数人が前章参照なら算定す; fact15 -> int3: もしも「その十数人は馬鹿らしくないけど老朽する」ということは偽であるとすればそれは前章参照である;
$facts$ = fact1: このナイロンロープは四月決算会社である fact2: もしも「とあるものは馬鹿らしくない一方で老朽する」ということは正しくないならばそれは前章参照である fact3: もしもあの香港返還が議決権比率でなくてまた四月決算会社でないとするとその観桜は議決権比率でない fact4: あの香港返還は議決権比率である fact5: 「前章参照は算定す」ということは成り立つ fact6: その観桜は帝国支配である fact7: あの香港返還が議決権比率であるならその観桜は四月決算会社である fact8: 「大島颪でない」ものはある fact9: あの香港返還は四月決算会社だ fact10: この真夜中過ぎは四月決算会社である fact11: もしもあるものが算定すとしたら段取り替えだ fact12: その観桜が四月決算会社であるとしたらあの香港返還は議決権比率だ fact13: もしもあの香港返還が四月決算会社ならその観桜は議決権比率だ ; $hypothesis$ = その観桜は議決権比率である ; $proof$ = 
fact13 & fact9 -> hypothesis; __PROVED__
事実1: このナイロンロープは四月決算会社である
事実2: もしも「とあるものは馬鹿らしくない一方で老朽する」ということは正しくないならばそれは前章参照である
事実3: もしもあの香港返還が議決権比率でなくてまた四月決算会社でないとするとその観桜は議決権比率でない
事実4: あの香港返還は議決権比率である
事実5: 「前章参照は算定す」ということは成り立つ
事実6: その観桜は帝国支配である
事実7: あの香港返還が議決権比率であるならその観桜は四月決算会社である
事実8: 「大島颪でない」ものはある
事実9: あの香港返還は四月決算会社だ
事実10: この真夜中過ぎは四月決算会社である
事実11: もしもあるものが算定すとしたら段取り替えだ
事実12: その観桜が四月決算会社であるとしたらあの香港返還は議決権比率だ
事実13: もしもあの香港返還が四月決算会社ならその観桜は議決権比率だ

仮説: その観桜は議決権比率である
1. 事実13と事実9から、仮説が導かれる

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