「その忍之別王子は公表出来ないが溶け難い」ということは嘘である
fact1: あの五十音図は簡素化しない fact2: 「ある物は松代領でないかあるいは神話であるということはないかもしくは両方ともである」ということは誤りだとすると度し難い fact3: その忍之別王子は公表出来ない fact4: この根切り工事は簡素化しない fact5: 仮に「この根切り工事は簡素化しない」ということは誤りでないとすると「この難局打開は松代領であるということはないかあるいは神話であるということはないかまたは両方である」ということは事実と異なる fact6: もし「この根切り工事はいじましい一方で象牙彫刻展でない」ということは偽ならその忍之別王子はいじましいということはない fact7: もしもこの難局打開はいじましいしさらに象牙彫刻展なら公表出来ない fact8: もし仮になにかは紙メディアでないならば「それはシェイクスピア劇であるかあるいはそれは簡素化する」ということは確かでない fact9: この難局打開は象牙彫刻展である fact10: 「仮に「なにがしかの物は松代領であるかまたはそれは神話でないかあるいは両方ともである」ということは成り立たないとしたら「度し難い」ということは本当だ」ということは確かだ fact11: もしこの難局打開は公表出来るということはないならば「その忍之別王子は公表出来ないけど溶け難い」ということは誤りだ fact12: あの環境側面は紙メディアでない fact13: この難局打開が度し難いならばそれはいじましい fact14: もしもなにがしかのものは度し難くないなら「いじましくて象牙彫刻展でない」ということは誤りである
fact2 -> int1: もしも「この難局打開は松代領でないか神話でない」ということは成り立たないならそれは度し難い; fact5 & fact4 -> int2: 「この難局打開は松代領でないかもしくは神話だということはないかもしくは両方である」ということは事実と異なる; int1 & int2 -> int3: この難局打開は度し難い; int3 & fact13 -> int4: この難局打開はいじましい; int4 & fact9 -> int5: この難局打開はいじましいし加えて象牙彫刻展である; int5 & fact7 -> int6: この難局打開は公表出来るということはない; int6 & fact11 -> hypothesis;
その忍之別王子は公表出来るということはないがそれは溶け難い
fact16 -> int7: もし仮にこの根切り工事は度し難くないとすれば「いじましいが象牙彫刻展でない」ということは成り立つということはない; fact17 -> int8: もしもあの環境側面は紙メディアであるということはないとすると「それはシェイクスピア劇であるかまたは簡素化するかもしくはどちらもである」ということは事実と異なる; int8 & fact15 -> int9: 「あの環境側面はシェイクスピア劇であるかあるいは簡素化するかまたは両方だ」ということは成り立たない; int9 -> int10: 「「シェイクスピア劇であるかもしくは簡素化する」ということは成り立たない」ものはある;
$facts$ = fact1: あの五十音図は簡素化しない fact2: 「ある物は松代領でないかあるいは神話であるということはないかもしくは両方ともである」ということは誤りだとすると度し難い fact3: その忍之別王子は公表出来ない fact4: この根切り工事は簡素化しない fact5: 仮に「この根切り工事は簡素化しない」ということは誤りでないとすると「この難局打開は松代領であるということはないかあるいは神話であるということはないかまたは両方である」ということは事実と異なる fact6: もし「この根切り工事はいじましい一方で象牙彫刻展でない」ということは偽ならその忍之別王子はいじましいということはない fact7: もしもこの難局打開はいじましいしさらに象牙彫刻展なら公表出来ない fact8: もし仮になにかは紙メディアでないならば「それはシェイクスピア劇であるかあるいはそれは簡素化する」ということは確かでない fact9: この難局打開は象牙彫刻展である fact10: 「仮に「なにがしかの物は松代領であるかまたはそれは神話でないかあるいは両方ともである」ということは成り立たないとしたら「度し難い」ということは本当だ」ということは確かだ fact11: もしこの難局打開は公表出来るということはないならば「その忍之別王子は公表出来ないけど溶け難い」ということは誤りだ fact12: あの環境側面は紙メディアでない fact13: この難局打開が度し難いならばそれはいじましい fact14: もしもなにがしかのものは度し難くないなら「いじましくて象牙彫刻展でない」ということは誤りである ; $hypothesis$ = 「その忍之別王子は公表出来ないが溶け難い」ということは嘘である ; $proof$ = 
fact2 -> int1: もしも「この難局打開は松代領でないか神話でない」ということは成り立たないならそれは度し難い; fact5 & fact4 -> int2: 「この難局打開は松代領でないかもしくは神話だということはないかもしくは両方である」ということは事実と異なる; int1 & int2 -> int3: この難局打開は度し難い; int3 & fact13 -> int4: この難局打開はいじましい; int4 & fact9 -> int5: この難局打開はいじましいし加えて象牙彫刻展である; int5 & fact7 -> int6: この難局打開は公表出来るということはない; int6 & fact11 -> hypothesis; __PROVED__
事実1: あの五十音図は簡素化しない
事実2: 「ある物は松代領でないかあるいは神話であるということはないかもしくは両方ともである」ということは誤りだとすると度し難い
事実3: その忍之別王子は公表出来ない
事実4: この根切り工事は簡素化しない
事実5: 仮に「この根切り工事は簡素化しない」ということは誤りでないとすると「この難局打開は松代領であるということはないかあるいは神話であるということはないかまたは両方である」ということは事実と異なる
事実6: もし「この根切り工事はいじましい一方で象牙彫刻展でない」ということは偽ならその忍之別王子はいじましいということはない
事実7: もしもこの難局打開はいじましいしさらに象牙彫刻展なら公表出来ない
事実8: もし仮になにかは紙メディアでないならば「それはシェイクスピア劇であるかあるいはそれは簡素化する」ということは確かでない
事実9: この難局打開は象牙彫刻展である
事実10: 「仮に「なにがしかの物は松代領であるかまたはそれは神話でないかあるいは両方ともである」ということは成り立たないとしたら「度し難い」ということは本当だ」ということは確かだ
事実11: もしこの難局打開は公表出来るということはないならば「その忍之別王子は公表出来ないけど溶け難い」ということは誤りだ
事実12: あの環境側面は紙メディアでない
事実13: この難局打開が度し難いならばそれはいじましい
事実14: もしもなにがしかのものは度し難くないなら「いじましくて象牙彫刻展でない」ということは誤りである

仮説: 「その忍之別王子は公表出来ないが溶け難い」ということは嘘である
1. 事実2から、推論1: "もしも「この難局打開は松代領でないか神話でない」ということは成り立たないならそれは度し難い"が導かれる
2. 事実5と事実4から、推論2: "「この難局打開は松代領でないかもしくは神話だということはないかもしくは両方である」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "この難局打開は度し難い"が導かれる
4. 推論3と事実13から、推論4: "この難局打開はいじましい"が導かれる
5. 推論4と事実9から、推論5: "この難局打開はいじましいし加えて象牙彫刻展である"が導かれる
6. 推論5と事実7から、推論6: "この難局打開は公表出来るということはない"が導かれる
7. 推論6と事実11から、仮説が導かれる

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