「あの菊花紋は輝かしが働き易くない」ということは嘘だ
fact1: 「腐心しなくてそれに心的外傷な」物はある fact2: 「「心的外傷だ」ということは確かである」ものはある fact3: 何かは腐心するし心的外傷だ fact4: もし仮にとある物はマッチするとすると「それは輝かししまた働き易くない」ということは間違いである fact5: 「腐心するということはない」ものはある fact6: あの菊花紋はマッチするとすれば「輝かしし働き易い」ということは嘘である fact7: もし仮になにかはマッチするとすると「それは輝かししそれに働き易い」ということは成り立たない fact8: もし仮になにかは腐心しないがしかし心的外傷であるとすればあの菊花紋はマッチする fact9: 「あの菊花紋は輝かしし更に働き易い」ということは嘘だ fact10: もし仮に何らかの物がマッチしないなら輝かしが働き易くない fact11: もし仮にとあるものは運用するとしたら「慎み深いしかつ狙い易くない」ということは誤っている
fact4 -> int1: もし仮にあの菊花紋はマッチすれば「輝かしけど働き易くない」ということは成り立たない; fact1 & fact8 -> int2: あの菊花紋はマッチする; int1 & int2 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); fact1 & fact8 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
もし仮にあの貰い子は運用するなら「慎み深いが狙い易くない」ということは間違っている
fact12 -> hypothesis;
$facts$ = fact1: 「腐心しなくてそれに心的外傷な」物はある fact2: 「「心的外傷だ」ということは確かである」ものはある fact3: 何かは腐心するし心的外傷だ fact4: もし仮にとある物はマッチするとすると「それは輝かししまた働き易くない」ということは間違いである fact5: 「腐心するということはない」ものはある fact6: あの菊花紋はマッチするとすれば「輝かしし働き易い」ということは嘘である fact7: もし仮になにかはマッチするとすると「それは輝かししそれに働き易い」ということは成り立たない fact8: もし仮になにかは腐心しないがしかし心的外傷であるとすればあの菊花紋はマッチする fact9: 「あの菊花紋は輝かしし更に働き易い」ということは嘘だ fact10: もし仮に何らかの物がマッチしないなら輝かしが働き易くない fact11: もし仮にとあるものは運用するとしたら「慎み深いしかつ狙い易くない」ということは誤っている ; $hypothesis$ = 「あの菊花紋は輝かしが働き易くない」ということは嘘だ ; $proof$ = 
fact4 -> int1: もし仮にあの菊花紋はマッチすれば「輝かしけど働き易くない」ということは成り立たない; fact1 & fact8 -> int2: あの菊花紋はマッチする; int1 & int2 -> hypothesis; __PROVED__
事実1: 「腐心しなくてそれに心的外傷な」物はある
事実2: 「「心的外傷だ」ということは確かである」ものはある
事実3: 何かは腐心するし心的外傷だ
事実4: もし仮にとある物はマッチするとすると「それは輝かししまた働き易くない」ということは間違いである
事実5: 「腐心するということはない」ものはある
事実6: あの菊花紋はマッチするとすれば「輝かしし働き易い」ということは嘘である
事実7: もし仮になにかはマッチするとすると「それは輝かししそれに働き易い」ということは成り立たない
事実8: もし仮になにかは腐心しないがしかし心的外傷であるとすればあの菊花紋はマッチする
事実9: 「あの菊花紋は輝かしし更に働き易い」ということは嘘だ
事実10: もし仮に何らかの物がマッチしないなら輝かしが働き易くない
事実11: もし仮にとあるものは運用するとしたら「慎み深いしかつ狙い易くない」ということは誤っている

仮説: 「あの菊花紋は輝かしが働き易くない」ということは嘘だ
1. 事実4から、推論1: "もし仮にあの菊花紋はマッチすれば「輝かしけど働き易くない」ということは成り立たない"が導かれる
2. 事実1と事実8から、推論2: "あの菊花紋はマッチする"が導かれる
3. 推論1と推論2から、仮説が導かれる

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