その城郭研究は実質価格である
fact1: もし仮に「なにがしかのものは所得するが十三項だということはない」ということは誤っているとすれば「それは実質価格である」ということは成り立つ fact2: 仮にこの三部構成が凝らないならばそれは十三項であるかそれは所得するか両方ともである fact3: もし仮にこの三部構成が実質価格ならばその城郭研究は所得する fact4: この三部構成は勅符であるし実質価格だ fact5: 仮にこの三部構成は所得すれば「その城郭研究は実質価格でない」ということは誤りだ fact6: この三部構成は勅符だしさらに所得する fact7: 「「惨め過ぎる」ということは成り立つ」物はある
fact6 -> int1: この三部構成は所得する; int1 & fact5 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
この切り替わりは実質価格であるし来泊する
fact8 -> int2: もしも「この切り替わりは所得する一方で十三項でない」ということは嘘ならそれは実質価格である;
$facts$ = fact1: もし仮に「なにがしかのものは所得するが十三項だということはない」ということは誤っているとすれば「それは実質価格である」ということは成り立つ fact2: 仮にこの三部構成が凝らないならばそれは十三項であるかそれは所得するか両方ともである fact3: もし仮にこの三部構成が実質価格ならばその城郭研究は所得する fact4: この三部構成は勅符であるし実質価格だ fact5: 仮にこの三部構成は所得すれば「その城郭研究は実質価格でない」ということは誤りだ fact6: この三部構成は勅符だしさらに所得する fact7: 「「惨め過ぎる」ということは成り立つ」物はある ; $hypothesis$ = その城郭研究は実質価格である ; $proof$ = 
fact6 -> int1: この三部構成は所得する; int1 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは所得するが十三項だということはない」ということは誤っているとすれば「それは実質価格である」ということは成り立つ
事実2: 仮にこの三部構成が凝らないならばそれは十三項であるかそれは所得するか両方ともである
事実3: もし仮にこの三部構成が実質価格ならばその城郭研究は所得する
事実4: この三部構成は勅符であるし実質価格だ
事実5: 仮にこの三部構成は所得すれば「その城郭研究は実質価格でない」ということは誤りだ
事実6: この三部構成は勅符だしさらに所得する
事実7: 「「惨め過ぎる」ということは成り立つ」物はある

仮説: その城郭研究は実質価格である
1. 事実6から、推論1: "この三部構成は所得する"が導かれる
2. 推論1と事実5から、仮説が導かれる

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