仮にこの魂鎮めは死装束であるとすれば「その後手は蹴るかあるいは持続し得ない」ということは間違いだ
fact1: 「その後手は蹴るかまたは持続し得る」ということは成り立たない fact2: 壊れ易い物は荒っぽい fact3: この魂鎮めは壊れ易くて加えて九項目だ fact4: 仮にこの魂鎮めは死装束だとすれば「その後手は蹴るか持続し得る」ということは間違いだ fact5: その後手は蹴らない fact6: この魂鎮めが蹴らないならばその後手は蹴るかもしくはそれは持続し得るということはない fact7: もしもこの魂鎮めが死装束ならばあの後手は蹴るかまたは持続し得ない fact8: もし仮にこの魂鎮めは蹴らないとしたら「その後手は蹴るかあるいはそれは持続し得ないかあるいは両方だ」ということは成り立つということはない fact9: もし仮にこの魂鎮めは蹴らないとしたら「その後手は蹴るか持続し得るかどちらもである」ということは間違いだ fact10: もし仮に荒っぽい物は死装束であるならそれは蹴らない fact11: その後手は蹴るかもしくは持続し得ないかまたは両方である fact12: もし仮に「この魂鎮めは蹴らない」ということは確かならばあの後手は蹴らない
fact3 -> int1: この魂鎮めは壊れ易い; fact2 -> int2: 仮にこの魂鎮めが壊れ易いとすればそれは荒っぽい; int1 & int2 -> int3: この魂鎮めは荒っぽい; void -> assump1: 以下のように仮定する。この魂鎮めは死装束だ; int3 & assump1 -> int4: この魂鎮めは荒っぽくて死装束である; fact10 -> int5: 仮にこの魂鎮めが荒っぽくて死装束だとすると「蹴らない」ということは確かである; int4 & int5 -> int6: この魂鎮めは蹴らない; int6 & fact8 -> int7: 「「その後手は蹴るか持続し得ない」ということは本当である」ということは成り立たない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 「その後手は蹴るかまたは持続し得る」ということは成り立たない fact2: 壊れ易い物は荒っぽい fact3: この魂鎮めは壊れ易くて加えて九項目だ fact4: 仮にこの魂鎮めは死装束だとすれば「その後手は蹴るか持続し得る」ということは間違いだ fact5: その後手は蹴らない fact6: この魂鎮めが蹴らないならばその後手は蹴るかもしくはそれは持続し得るということはない fact7: もしもこの魂鎮めが死装束ならばあの後手は蹴るかまたは持続し得ない fact8: もし仮にこの魂鎮めは蹴らないとしたら「その後手は蹴るかあるいはそれは持続し得ないかあるいは両方だ」ということは成り立つということはない fact9: もし仮にこの魂鎮めは蹴らないとしたら「その後手は蹴るか持続し得るかどちらもである」ということは間違いだ fact10: もし仮に荒っぽい物は死装束であるならそれは蹴らない fact11: その後手は蹴るかもしくは持続し得ないかまたは両方である fact12: もし仮に「この魂鎮めは蹴らない」ということは確かならばあの後手は蹴らない ; $hypothesis$ = 仮にこの魂鎮めは死装束であるとすれば「その後手は蹴るかあるいは持続し得ない」ということは間違いだ ; $proof$ = 
fact3 -> int1: この魂鎮めは壊れ易い; fact2 -> int2: 仮にこの魂鎮めが壊れ易いとすればそれは荒っぽい; int1 & int2 -> int3: この魂鎮めは荒っぽい; void -> assump1: 以下のように仮定する。この魂鎮めは死装束だ; int3 & assump1 -> int4: この魂鎮めは荒っぽくて死装束である; fact10 -> int5: 仮にこの魂鎮めが荒っぽくて死装束だとすると「蹴らない」ということは確かである; int4 & int5 -> int6: この魂鎮めは蹴らない; int6 & fact8 -> int7: 「「その後手は蹴るか持続し得ない」ということは本当である」ということは成り立たない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「その後手は蹴るかまたは持続し得る」ということは成り立たない
事実2: 壊れ易い物は荒っぽい
事実3: この魂鎮めは壊れ易くて加えて九項目だ
事実4: 仮にこの魂鎮めは死装束だとすれば「その後手は蹴るか持続し得る」ということは間違いだ
事実5: その後手は蹴らない
事実6: この魂鎮めが蹴らないならばその後手は蹴るかもしくはそれは持続し得るということはない
事実7: もしもこの魂鎮めが死装束ならばあの後手は蹴るかまたは持続し得ない
事実8: もし仮にこの魂鎮めは蹴らないとしたら「その後手は蹴るかあるいはそれは持続し得ないかあるいは両方だ」ということは成り立つということはない
事実9: もし仮にこの魂鎮めは蹴らないとしたら「その後手は蹴るか持続し得るかどちらもである」ということは間違いだ
事実10: もし仮に荒っぽい物は死装束であるならそれは蹴らない
事実11: その後手は蹴るかもしくは持続し得ないかまたは両方である
事実12: もし仮に「この魂鎮めは蹴らない」ということは確かならばあの後手は蹴らない

仮説: 仮にこの魂鎮めは死装束であるとすれば「その後手は蹴るかあるいは持続し得ない」ということは間違いだ
1. 事実3から、推論1: "この魂鎮めは壊れ易い"が導かれる
2. 事実2から、推論2: "仮にこの魂鎮めが壊れ易いとすればそれは荒っぽい"が導かれる
3. 推論1と推論2から、推論3: "この魂鎮めは荒っぽい"が導かれる
4. 仮定1: 以下のように仮定する。この魂鎮めは死装束だ
5. 推論3と仮定1から、推論4: "この魂鎮めは荒っぽくて死装束である"が導かれる
6. 事実10から、推論5: "仮にこの魂鎮めが荒っぽくて死装束だとすると「蹴らない」ということは確かである"が導かれる
7. 推論4と推論5から、推論6: "この魂鎮めは蹴らない"が導かれる
8. 推論6と事実8から、推論7: "「「その後手は蹴るか持続し得ない」ということは本当である」ということは成り立たない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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