この隠し毎は仄暗い
fact1: もし仮になんらかの物が切り易いとしたらそれは戻れる fact2: もしも「あの後肢は言い辛い」ということは事実であるなら切り易い fact3: もしあの後肢が戻れればこの隠し毎は仄暗い fact4: あの後肢は言い辛い fact5: もし仮に何かは戻れるなら「言い辛い」ということは本当だ fact6: もしあの後肢は言い辛いということはないとすれば「それは仄暗くてさらに切り易い」ということは間違いだ fact7: もしも「この債務引き受けは言い辛い」ということは成り立つならばあの後肢は言い辛くない
fact2 & fact4 -> int1: あの後肢は切り易い; fact1 -> int2: 仮に「あの後肢は切り易い」ということは正しいとすると戻れる; int1 & int2 -> int3: あの後肢は戻れる; int3 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact3 -> hypothesis;
この隠し毎は仄暗くない
fact9 -> int4: この債務引き受けが戻れるとしたらそれは言い辛い;
$facts$ = fact1: もし仮になんらかの物が切り易いとしたらそれは戻れる fact2: もしも「あの後肢は言い辛い」ということは事実であるなら切り易い fact3: もしあの後肢が戻れればこの隠し毎は仄暗い fact4: あの後肢は言い辛い fact5: もし仮に何かは戻れるなら「言い辛い」ということは本当だ fact6: もしあの後肢は言い辛いということはないとすれば「それは仄暗くてさらに切り易い」ということは間違いだ fact7: もしも「この債務引き受けは言い辛い」ということは成り立つならばあの後肢は言い辛くない ; $hypothesis$ = この隠し毎は仄暗い ; $proof$ = 
fact2 & fact4 -> int1: あの後肢は切り易い; fact1 -> int2: 仮に「あの後肢は切り易い」ということは正しいとすると戻れる; int1 & int2 -> int3: あの後肢は戻れる; int3 & fact3 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が切り易いとしたらそれは戻れる
事実2: もしも「あの後肢は言い辛い」ということは事実であるなら切り易い
事実3: もしあの後肢が戻れればこの隠し毎は仄暗い
事実4: あの後肢は言い辛い
事実5: もし仮に何かは戻れるなら「言い辛い」ということは本当だ
事実6: もしあの後肢は言い辛いということはないとすれば「それは仄暗くてさらに切り易い」ということは間違いだ
事実7: もしも「この債務引き受けは言い辛い」ということは成り立つならばあの後肢は言い辛くない

仮説: この隠し毎は仄暗い
1. 事実2と事実4から、推論1: "あの後肢は切り易い"が導かれる
2. 事実1から、推論2: "仮に「あの後肢は切り易い」ということは正しいとすると戻れる"が導かれる
3. 推論1と推論2から、推論3: "あの後肢は戻れる"が導かれる
4. 推論3と事実3から、仮説が導かれる

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