この主人公は自由選択制だ
fact1: 「教習所でおまけに交換機な」物があるとすればあの主人公は校内研究である fact2: あの南京政府は分断する fact3: もしも何かは校内研究であるとすれば自由選択制だ fact4: 仰々しいものは教習所である fact5: もしもあの南京政府は安いならば「交換機である」ということは確かである fact6: もしあの心的作用が安いとすれば漏れ無い fact7: あの心的作用は安い fact8: もしもあの心的作用が漏れ無いとしたらあの南京政府は仰々しい fact9: あの南京政府は交換機であるし分断する
fact6 & fact7 -> int1: あの心的作用は漏れ無い; int1 & fact8 -> int2: あの南京政府は仰々しい; fact4 -> int3: もし仮にあの南京政府が仰々しいとすればそれは教習所である; int2 & int3 -> int4: 「あの南京政府は教習所だ」ということは真実である; fact9 -> int5: あの南京政府は交換機である; int4 & int5 -> int6: あの南京政府は教習所であるしその上交換機である; int6 -> int7: あるものは教習所だし交換機である; int7 & fact1 -> int8: この主人公は校内研究だ; fact3 -> int9: もし仮にこの主人公は校内研究であるなら自由選択制だ; int8 & int9 -> hypothesis;
$facts$ = fact1: 「教習所でおまけに交換機な」物があるとすればあの主人公は校内研究である fact2: あの南京政府は分断する fact3: もしも何かは校内研究であるとすれば自由選択制だ fact4: 仰々しいものは教習所である fact5: もしもあの南京政府は安いならば「交換機である」ということは確かである fact6: もしあの心的作用が安いとすれば漏れ無い fact7: あの心的作用は安い fact8: もしもあの心的作用が漏れ無いとしたらあの南京政府は仰々しい fact9: あの南京政府は交換機であるし分断する ; $hypothesis$ = この主人公は自由選択制だ ; $proof$ = 
fact6 & fact7 -> int1: あの心的作用は漏れ無い; int1 & fact8 -> int2: あの南京政府は仰々しい; fact4 -> int3: もし仮にあの南京政府が仰々しいとすればそれは教習所である; int2 & int3 -> int4: 「あの南京政府は教習所だ」ということは真実である; fact9 -> int5: あの南京政府は交換機である; int4 & int5 -> int6: あの南京政府は教習所であるしその上交換機である; int6 -> int7: あるものは教習所だし交換機である; int7 & fact1 -> int8: この主人公は校内研究だ; fact3 -> int9: もし仮にこの主人公は校内研究であるなら自由選択制だ; int8 & int9 -> hypothesis; __PROVED__
事実1: 「教習所でおまけに交換機な」物があるとすればあの主人公は校内研究である
事実2: あの南京政府は分断する
事実3: もしも何かは校内研究であるとすれば自由選択制だ
事実4: 仰々しいものは教習所である
事実5: もしもあの南京政府は安いならば「交換機である」ということは確かである
事実6: もしあの心的作用が安いとすれば漏れ無い
事実7: あの心的作用は安い
事実8: もしもあの心的作用が漏れ無いとしたらあの南京政府は仰々しい
事実9: あの南京政府は交換機であるし分断する

仮説: この主人公は自由選択制だ
1. 事実6と事実7から、推論1: "あの心的作用は漏れ無い"が導かれる
2. 推論1と事実8から、推論2: "あの南京政府は仰々しい"が導かれる
3. 事実4から、推論3: "もし仮にあの南京政府が仰々しいとすればそれは教習所である"が導かれる
4. 推論2と推論3から、推論4: "「あの南京政府は教習所だ」ということは真実である"が導かれる
5. 事実9から、推論5: "あの南京政府は交換機である"が導かれる
6. 推論4と推論5から、推論6: "あの南京政府は教習所であるしその上交換機である"が導かれる
7. 推論6から、推論7: "あるものは教習所だし交換機である"が導かれる
8. 推論7と事実1から、推論8: "この主人公は校内研究だ"が導かれる
9. 事実3から、推論9: "もし仮にこの主人公は校内研究であるなら自由選択制だ"が導かれる
10. 推論8と推論9から、仮説が導かれる

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