そのセンチメンタリズムは御召しに因る
fact1: その乱曲は御召しに因る fact2: このＮＳＴは上昇し易くて更にそれは当て付けがましい fact3: 仮にその乱曲が当て付けがましいということはないならそのセンチメンタリズムは御召しに因らない一方で抗告だ fact4: その乱曲は当て付けがましい fact5: 「抗告である」物はある fact6: なんらかのものは当て付けがましい fact7: その乱曲は抗告である fact8: 仮に抗告は当て付けがましいとしたら「そのセンチメンタリズムは御召しに因る」ということは成り立つ
fact7 & fact4 -> int1: その乱曲は抗告であるしそれに当て付けがましい; int1 -> int2: なんらかの物が抗告だしおまけに当て付けがましい; int2 & fact8 -> hypothesis;
このＮＳＴは変わり易くて上昇し易い
fact9 -> int3: このＮＳＴは上昇し易い;
$facts$ = fact1: その乱曲は御召しに因る fact2: このＮＳＴは上昇し易くて更にそれは当て付けがましい fact3: 仮にその乱曲が当て付けがましいということはないならそのセンチメンタリズムは御召しに因らない一方で抗告だ fact4: その乱曲は当て付けがましい fact5: 「抗告である」物はある fact6: なんらかのものは当て付けがましい fact7: その乱曲は抗告である fact8: 仮に抗告は当て付けがましいとしたら「そのセンチメンタリズムは御召しに因る」ということは成り立つ ; $hypothesis$ = そのセンチメンタリズムは御召しに因る ; $proof$ = 
fact7 & fact4 -> int1: その乱曲は抗告であるしそれに当て付けがましい; int1 -> int2: なんらかの物が抗告だしおまけに当て付けがましい; int2 & fact8 -> hypothesis; __PROVED__
事実1: その乱曲は御召しに因る
事実2: このＮＳＴは上昇し易くて更にそれは当て付けがましい
事実3: 仮にその乱曲が当て付けがましいということはないならそのセンチメンタリズムは御召しに因らない一方で抗告だ
事実4: その乱曲は当て付けがましい
事実5: 「抗告である」物はある
事実6: なんらかのものは当て付けがましい
事実7: その乱曲は抗告である
事実8: 仮に抗告は当て付けがましいとしたら「そのセンチメンタリズムは御召しに因る」ということは成り立つ

仮説: そのセンチメンタリズムは御召しに因る
1. 事実7と事実4から、推論1: "その乱曲は抗告であるしそれに当て付けがましい"が導かれる
2. 推論1から、推論2: "なんらかの物が抗告だしおまけに当て付けがましい"が導かれる
3. 推論2と事実8から、仮説が導かれる

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