あの王妃様はどす黒くないし加えてそれはオンサイドでない
fact1: 「あの地声は戦野であるしまた憎々しい」ということは事実だ fact2: 仮に「あの王妃様は半球であるかあるいはそれは常連らしくないかもしくはどちらもだ」ということは成り立たないとするとあの地声は古臭くない fact3: もしあの王妃様は絞り滓だとすると「それは半球である」ということは確かである fact4: 仮になにがしかの物は絞り滓であるとすれば「それは訴え出ないかもしくはしゃあ無くないか両方ともだ」ということは事実と異なる fact5: あの王妃様は絞り滓ならば「半球であるということはないか常連らしいということはないかもしくは両方ともだ」ということは誤りである fact6: あの王妃様は半球である fact7: なにがしかのものは戦野であるとすれば古臭い fact8: あの王妃様はオンサイドでない fact9: あの地声は憎々しい fact10: 常連らしくない物はオンサイドでない fact11: もしも「あの王妃様は半球だということはないかもしくは常連らしくないかあるいは両方ともだ」ということは成り立つということはないとしたらあの地声は古臭くない fact12: 古臭くないものは絞り滓だ fact13: もし仮になにがしかのものは半球でないならそれは絞り滓でない fact14: もしもあの王妃様は絞り滓でないとするとオンサイドでない fact15: もしもなにかは絞り滓でないとするとそれはどす黒くない物であり加えてオンサイドでない
void -> assump1: 以下のように仮定する。「あの王妃様は絞り滓だ」ということは本当である; fact5 & assump1 -> int1: 「あの王妃様は半球でないかまたは常連らしくない」ということは嘘である; int1 & fact11 -> int2: あの地声は古臭くない; fact7 -> int3: もしあの地声が戦野だとすると古臭い; fact1 -> int4: あの地声は戦野である; int3 & int4 -> int5: あの地声は古臭い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの王妃様は絞り滓でない; fact15 -> int8: もしもあの王妃様は絞り滓でないとしたらそれはどす黒くなくてまたオンサイドでない; int7 & int8 -> hypothesis;
「この校異源氏物語は訴え出ないかそれはしゃあ無くないかまたは両方ともである」ということは嘘である
fact16 -> int9: この校異源氏物語は絞り滓であるとしたら「「それは訴え出ないかあるいはそれはしゃあ無くないかあるいは両方だ」ということは事実である」ということは成り立たない; fact17 -> int10: 仮にこの校異源氏物語は古臭くないとすれば「それは絞り滓だ」ということは成り立つ;
$facts$ = fact1: 「あの地声は戦野であるしまた憎々しい」ということは事実だ fact2: 仮に「あの王妃様は半球であるかあるいはそれは常連らしくないかもしくはどちらもだ」ということは成り立たないとするとあの地声は古臭くない fact3: もしあの王妃様は絞り滓だとすると「それは半球である」ということは確かである fact4: 仮になにがしかの物は絞り滓であるとすれば「それは訴え出ないかもしくはしゃあ無くないか両方ともだ」ということは事実と異なる fact5: あの王妃様は絞り滓ならば「半球であるということはないか常連らしいということはないかもしくは両方ともだ」ということは誤りである fact6: あの王妃様は半球である fact7: なにがしかのものは戦野であるとすれば古臭い fact8: あの王妃様はオンサイドでない fact9: あの地声は憎々しい fact10: 常連らしくない物はオンサイドでない fact11: もしも「あの王妃様は半球だということはないかもしくは常連らしくないかあるいは両方ともだ」ということは成り立つということはないとしたらあの地声は古臭くない fact12: 古臭くないものは絞り滓だ fact13: もし仮になにがしかのものは半球でないならそれは絞り滓でない fact14: もしもあの王妃様は絞り滓でないとするとオンサイドでない fact15: もしもなにかは絞り滓でないとするとそれはどす黒くない物であり加えてオンサイドでない ; $hypothesis$ = あの王妃様はどす黒くないし加えてそれはオンサイドでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの王妃様は絞り滓だ」ということは本当である; fact5 & assump1 -> int1: 「あの王妃様は半球でないかまたは常連らしくない」ということは嘘である; int1 & fact11 -> int2: あの地声は古臭くない; fact7 -> int3: もしあの地声が戦野だとすると古臭い; fact1 -> int4: あの地声は戦野である; int3 & int4 -> int5: あの地声は古臭い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの王妃様は絞り滓でない; fact15 -> int8: もしもあの王妃様は絞り滓でないとしたらそれはどす黒くなくてまたオンサイドでない; int7 & int8 -> hypothesis; __PROVED__
事実1: 「あの地声は戦野であるしまた憎々しい」ということは事実だ
事実2: 仮に「あの王妃様は半球であるかあるいはそれは常連らしくないかもしくはどちらもだ」ということは成り立たないとするとあの地声は古臭くない
事実3: もしあの王妃様は絞り滓だとすると「それは半球である」ということは確かである
事実4: 仮になにがしかの物は絞り滓であるとすれば「それは訴え出ないかもしくはしゃあ無くないか両方ともだ」ということは事実と異なる
事実5: あの王妃様は絞り滓ならば「半球であるということはないか常連らしいということはないかもしくは両方ともだ」ということは誤りである
事実6: あの王妃様は半球である
事実7: なにがしかのものは戦野であるとすれば古臭い
事実8: あの王妃様はオンサイドでない
事実9: あの地声は憎々しい
事実10: 常連らしくない物はオンサイドでない
事実11: もしも「あの王妃様は半球だということはないかもしくは常連らしくないかあるいは両方ともだ」ということは成り立つということはないとしたらあの地声は古臭くない
事実12: 古臭くないものは絞り滓だ
事実13: もし仮になにがしかのものは半球でないならそれは絞り滓でない
事実14: もしもあの王妃様は絞り滓でないとするとオンサイドでない
事実15: もしもなにかは絞り滓でないとするとそれはどす黒くない物であり加えてオンサイドでない

仮説: あの王妃様はどす黒くないし加えてそれはオンサイドでない
1. 仮定1: 以下のように仮定する。「あの王妃様は絞り滓だ」ということは本当である
2. 事実5と仮定1から、推論1: "「あの王妃様は半球でないかまたは常連らしくない」ということは嘘である"が導かれる
3. 推論1と事実11から、推論2: "あの地声は古臭くない"が導かれる
4. 事実7から、推論3: "もしあの地声が戦野だとすると古臭い"が導かれる
5. 事実1から、推論4: "あの地声は戦野である"が導かれる
6. 推論3と推論4から、推論5: "あの地声は古臭い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの王妃様は絞り滓でない"が導かれる
9. 事実15から、推論8: "もしもあの王妃様は絞り滓でないとしたらそれはどす黒くなくてまたオンサイドでない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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