その節穴は価値表であるがしかし御過ごし下さるということはない
fact1: もし仮に「あの代々木公園事件は御過ごし下さらないけれどオープン・マクロ・モデルである」ということは誤っているとしたらそれはオープン・マクロ・モデルだということはない fact2: 仮にある物は焼き切れるとすると「それは御過ごし下さらない一方でオープン・マクロ・モデルである」ということは偽である fact3: もし仮に「接近し易い」物はあるとすれば「「このネガ型はオープン・マクロ・モデルであるし焼き切れる」ということは偽だ」ということは正しい fact4: 仮に「何かは接近し易くないしそれは上げ難くない」ということは成り立たないとしたら上げ難い fact5: もしもあの代々木公園事件が御過ごし下さるということはないとしたらその節穴は価値表であるけれど御過ごし下さらない fact6: もしも「「接近し易い」ということは正しい」物はあるとしたら「「このネガ型はオープン・マクロ・モデルだ一方で焼き切れない」ということは成り立たない」ということは偽でない fact7: 「このネガ型はオープン・マクロ・モデルだけれど焼き切れない」ということは誤っているならばあの代々木公園事件は御過ごし下さらない fact8: なんらかの物は接近し易い
fact8 & fact6 -> int1: 「「このネガ型はオープン・マクロ・モデルであるがしかし焼き切れない」ということは偽だ」ということは確かだ; int1 & fact7 -> int2: あの代々木公園事件は御過ごし下さらない; int2 & fact5 -> hypothesis;
fact8 & fact6 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact7 -> int2: ¬{D}{b}; int2 & fact5 -> hypothesis;
「上げ難い」物はある
fact9 -> int3: もしも「このネガ型は接近し易いということはないし上げ難くない」ということは成り立たないとすると上げ難い; fact11 -> int4: もしもあの代々木公園事件は焼き切れるなら「それは御過ごし下さらなくてそれはオープン・マクロ・モデルだ」ということは偽だ;
$facts$ = fact1: もし仮に「あの代々木公園事件は御過ごし下さらないけれどオープン・マクロ・モデルである」ということは誤っているとしたらそれはオープン・マクロ・モデルだということはない fact2: 仮にある物は焼き切れるとすると「それは御過ごし下さらない一方でオープン・マクロ・モデルである」ということは偽である fact3: もし仮に「接近し易い」物はあるとすれば「「このネガ型はオープン・マクロ・モデルであるし焼き切れる」ということは偽だ」ということは正しい fact4: 仮に「何かは接近し易くないしそれは上げ難くない」ということは成り立たないとしたら上げ難い fact5: もしもあの代々木公園事件が御過ごし下さるということはないとしたらその節穴は価値表であるけれど御過ごし下さらない fact6: もしも「「接近し易い」ということは正しい」物はあるとしたら「「このネガ型はオープン・マクロ・モデルだ一方で焼き切れない」ということは成り立たない」ということは偽でない fact7: 「このネガ型はオープン・マクロ・モデルだけれど焼き切れない」ということは誤っているならばあの代々木公園事件は御過ごし下さらない fact8: なんらかの物は接近し易い ; $hypothesis$ = その節穴は価値表であるがしかし御過ごし下さるということはない ; $proof$ = 
fact8 & fact6 -> int1: 「「このネガ型はオープン・マクロ・モデルであるがしかし焼き切れない」ということは偽だ」ということは確かだ; int1 & fact7 -> int2: あの代々木公園事件は御過ごし下さらない; int2 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に「あの代々木公園事件は御過ごし下さらないけれどオープン・マクロ・モデルである」ということは誤っているとしたらそれはオープン・マクロ・モデルだということはない
事実2: 仮にある物は焼き切れるとすると「それは御過ごし下さらない一方でオープン・マクロ・モデルである」ということは偽である
事実3: もし仮に「接近し易い」物はあるとすれば「「このネガ型はオープン・マクロ・モデルであるし焼き切れる」ということは偽だ」ということは正しい
事実4: 仮に「何かは接近し易くないしそれは上げ難くない」ということは成り立たないとしたら上げ難い
事実5: もしもあの代々木公園事件が御過ごし下さるということはないとしたらその節穴は価値表であるけれど御過ごし下さらない
事実6: もしも「「接近し易い」ということは正しい」物はあるとしたら「「このネガ型はオープン・マクロ・モデルだ一方で焼き切れない」ということは成り立たない」ということは偽でない
事実7: 「このネガ型はオープン・マクロ・モデルだけれど焼き切れない」ということは誤っているならばあの代々木公園事件は御過ごし下さらない
事実8: なんらかの物は接近し易い

仮説: その節穴は価値表であるがしかし御過ごし下さるということはない
1. 事実8と事実6から、推論1: "「「このネガ型はオープン・マクロ・モデルであるがしかし焼き切れない」ということは偽だ」ということは確かだ"が導かれる
2. 推論1と事実7から、推論2: "あの代々木公園事件は御過ごし下さらない"が導かれる
3. 推論2と事実5から、仮説が導かれる

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