もしもこのスキー行は御仕え申さないとすると「その民間伝承はちっこい一方で歌わない」ということは成り立たない
fact1: その民間伝承はちっこい fact2: 「その民間伝承は売り切るけれどちっこいということはない」ということは成り立たない fact3: 「その民間伝承は歌わない」ということは事実である fact4: 仮にこのスキー行が売り切るということはないならそれが御仕え申すしその上踏み締める fact5: もしも「このスキー行は売り切らない」ということは確かだとしたら「それは踏み締める」ということは成り立つ fact6: もしもその民間伝承がちっこいけどそれが歌うということはないならばあのスキー行は売り切らない
void -> assump1: 以下のように仮定する。その民間伝承はちっこいけれど歌わない; fact6 & assump1 -> int1: 「このスキー行は売り切らない」ということは真実だ; int1 & fact4 -> int2: このスキー行は御仕え申すしさらにそれは踏み締める; int2 -> int3: 「このスキー行は御仕え申す」ということは事実だ; void -> assump2: 以下のように仮定する。このスキー行は御仕え申さない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その民間伝承はちっこいがしかし歌わない」ということは間違いだ; [assump2] & int5 -> hypothesis;
$facts$ = fact1: その民間伝承はちっこい fact2: 「その民間伝承は売り切るけれどちっこいということはない」ということは成り立たない fact3: 「その民間伝承は歌わない」ということは事実である fact4: 仮にこのスキー行が売り切るということはないならそれが御仕え申すしその上踏み締める fact5: もしも「このスキー行は売り切らない」ということは確かだとしたら「それは踏み締める」ということは成り立つ fact6: もしもその民間伝承がちっこいけどそれが歌うということはないならばあのスキー行は売り切らない ; $hypothesis$ = もしもこのスキー行は御仕え申さないとすると「その民間伝承はちっこい一方で歌わない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その民間伝承はちっこいけれど歌わない; fact6 & assump1 -> int1: 「このスキー行は売り切らない」ということは真実だ; int1 & fact4 -> int2: このスキー行は御仕え申すしさらにそれは踏み締める; int2 -> int3: 「このスキー行は御仕え申す」ということは事実だ; void -> assump2: 以下のように仮定する。このスキー行は御仕え申さない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その民間伝承はちっこいがしかし歌わない」ということは間違いだ; [assump2] & int5 -> hypothesis; __PROVED__
事実1: その民間伝承はちっこい
事実2: 「その民間伝承は売り切るけれどちっこいということはない」ということは成り立たない
事実3: 「その民間伝承は歌わない」ということは事実である
事実4: 仮にこのスキー行が売り切るということはないならそれが御仕え申すしその上踏み締める
事実5: もしも「このスキー行は売り切らない」ということは確かだとしたら「それは踏み締める」ということは成り立つ
事実6: もしもその民間伝承がちっこいけどそれが歌うということはないならばあのスキー行は売り切らない

仮説: もしもこのスキー行は御仕え申さないとすると「その民間伝承はちっこい一方で歌わない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その民間伝承はちっこいけれど歌わない
2. 事実6と仮定1から、推論1: "「このスキー行は売り切らない」ということは真実だ"が導かれる
3. 推論1と事実4から、推論2: "このスキー行は御仕え申すしさらにそれは踏み締める"が導かれる
4. 推論2から、推論3: "「このスキー行は御仕え申す」ということは事実だ"が導かれる
5. 仮定2: 以下のように仮定する。このスキー行は御仕え申さない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その民間伝承はちっこいがしかし歌わない」ということは間違いだ"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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