その精神作用は照射部位でない
fact1: あのアドベンチャー・ギャレーは言い表わせるけどちぎれない fact2: もし仮に何かは言い表わせるなら照射部位である fact3: この習慣性は捗々しいけれどそれはしどけなくない fact4: 仮になにがしかのものは債務者Ａならば「出所出来ない一方で石経だ」ということは真実でない fact5: もしなにがしかの物は照射部位であるとするとそれは四室だけど答え難くない fact6: この習慣性はしどけなくない fact7: もし仮に「何らかの物は出所出来ない一方で石経だ」ということは間違いならばそれは言い表わせる fact8: もし仮にこの習慣性が捗々しいけどしどけなくないならばこの寒中は言い表わせる fact9: もしも「この寒中は言い表わせる」ということは本当だとすればあの精神作用は照射部位でない
fact8 & fact3 -> int1: この寒中は言い表わせる; int1 & fact9 -> hypothesis;
この寒中は四室だけれど答え難いということはない
fact10 -> int2: この寒中は照射部位であるとすれば四室である一方で答え難いということはない;
$facts$ = fact1: あのアドベンチャー・ギャレーは言い表わせるけどちぎれない fact2: もし仮に何かは言い表わせるなら照射部位である fact3: この習慣性は捗々しいけれどそれはしどけなくない fact4: 仮になにがしかのものは債務者Ａならば「出所出来ない一方で石経だ」ということは真実でない fact5: もしなにがしかの物は照射部位であるとするとそれは四室だけど答え難くない fact6: この習慣性はしどけなくない fact7: もし仮に「何らかの物は出所出来ない一方で石経だ」ということは間違いならばそれは言い表わせる fact8: もし仮にこの習慣性が捗々しいけどしどけなくないならばこの寒中は言い表わせる fact9: もしも「この寒中は言い表わせる」ということは本当だとすればあの精神作用は照射部位でない ; $hypothesis$ = その精神作用は照射部位でない ; $proof$ = 
fact8 & fact3 -> int1: この寒中は言い表わせる; int1 & fact9 -> hypothesis; __PROVED__
事実1: あのアドベンチャー・ギャレーは言い表わせるけどちぎれない
事実2: もし仮に何かは言い表わせるなら照射部位である
事実3: この習慣性は捗々しいけれどそれはしどけなくない
事実4: 仮になにがしかのものは債務者Ａならば「出所出来ない一方で石経だ」ということは真実でない
事実5: もしなにがしかの物は照射部位であるとするとそれは四室だけど答え難くない
事実6: この習慣性はしどけなくない
事実7: もし仮に「何らかの物は出所出来ない一方で石経だ」ということは間違いならばそれは言い表わせる
事実8: もし仮にこの習慣性が捗々しいけどしどけなくないならばこの寒中は言い表わせる
事実9: もしも「この寒中は言い表わせる」ということは本当だとすればあの精神作用は照射部位でない

仮説: その精神作用は照射部位でない
1. 事実8と事実3から、推論1: "この寒中は言い表わせる"が導かれる
2. 推論1と事実9から、仮説が導かれる

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