あの二日後は心地良い
fact1: 「あの二日後は胸腰椎移行部である」ということは事実だとすると割り込みであるかもしくは御安くないかまたは両方ともである fact2: あの二日後は割り込みであるかまたは御安いかもしくはどちらもである fact3: 何らかの物は割り込みであるか御安くないかあるいは両方であるならそれは心地良い fact4: もし仮にあの二日後は御安くないなら「それは心地良い」ということは成り立つ fact5: 「あの二日後は胸腰椎移行部である」ということは成り立つ fact6: もし何かは投げ与えないとしたら「心地良いが胸腰椎移行部でない」ということは偽だ
fact1 & fact5 -> int1: あの二日後は割り込みであるかもしくはそれは御安いということはないかあるいはどちらもだ; fact3 -> int2: あの二日後が割り込みであるかもしくは御安くないか両方だとすると心地良い; int1 & int2 -> hypothesis;
あの二日後は心地良くない
fact7 -> int3: もしあの二日後は投げ与えるということはないとすれば「それは心地良い一方で胸腰椎移行部でない」ということは嘘だ;
$facts$ = fact1: 「あの二日後は胸腰椎移行部である」ということは事実だとすると割り込みであるかもしくは御安くないかまたは両方ともである fact2: あの二日後は割り込みであるかまたは御安いかもしくはどちらもである fact3: 何らかの物は割り込みであるか御安くないかあるいは両方であるならそれは心地良い fact4: もし仮にあの二日後は御安くないなら「それは心地良い」ということは成り立つ fact5: 「あの二日後は胸腰椎移行部である」ということは成り立つ fact6: もし何かは投げ与えないとしたら「心地良いが胸腰椎移行部でない」ということは偽だ ; $hypothesis$ = あの二日後は心地良い ; $proof$ = 
fact1 & fact5 -> int1: あの二日後は割り込みであるかもしくはそれは御安いということはないかあるいはどちらもだ; fact3 -> int2: あの二日後が割り込みであるかもしくは御安くないか両方だとすると心地良い; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの二日後は胸腰椎移行部である」ということは事実だとすると割り込みであるかもしくは御安くないかまたは両方ともである
事実2: あの二日後は割り込みであるかまたは御安いかもしくはどちらもである
事実3: 何らかの物は割り込みであるか御安くないかあるいは両方であるならそれは心地良い
事実4: もし仮にあの二日後は御安くないなら「それは心地良い」ということは成り立つ
事実5: 「あの二日後は胸腰椎移行部である」ということは成り立つ
事実6: もし何かは投げ与えないとしたら「心地良いが胸腰椎移行部でない」ということは偽だ

仮説: あの二日後は心地良い
1. 事実1と事実5から、推論1: "あの二日後は割り込みであるかもしくはそれは御安いということはないかあるいはどちらもだ"が導かれる
2. 事実3から、推論2: "あの二日後が割り込みであるかもしくは御安くないか両方だとすると心地良い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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