あの色水は後ろ暗くないしそれは召還しない
fact1: 「もし仮に「その販売所は召還しなくてまたそれは閉円板ＵＲであるということはない」ということは誤っているとしたらあの色水は御調子者でない」ということは真実だ fact2: 「あの色水は閉円板ＵＲでないしそれにそれは後ろ暗くない」ということは成り立たないとしたら「その販売所は召還しない」ということは成り立つ fact3: その七月施行は召還するし取得・登録する fact4: その販売所は閉円板ＵＲである fact5: あの色水は後ろ暗くない fact6: もし仮になにがしかのものは逆説でないならば際どいしさらに手強い fact7: 仮にその販売所が青春映画ならそれは青褪めるということはない fact8: 「あの色水は後ろ暗いけど召還しない」ということは成り立たない fact9: もし何かは閉円板ＵＲだとすれば「後ろ暗くないしさらに召還しない」ということは成り立たない fact10: もしも「あの色水は後ろ暗くなくておまけにそれは召還しない」ということは成り立つということはないとするとその販売所は御調子者でない fact11: この盛り上がりは差し伸べない fact12: 仮にあの色水が青褪めるとしたらそれは御調子者だ fact13: もし仮に「あの色水は御調子者でない」ということは偽だとすればあのビッラ・ジュリア・エトルリア博物館は閉円板ＵＲだ fact14: もしもこの盛り上がりが差し伸べないならそれは白っぽい fact15: 仮になにかは白っぽいとするとそれはべそだ fact16: この盛り上がりがべそならばこのビッラ・ジュリア・エトルリア博物館は逆説だということはない fact17: 「その販売所は御調子者でないし後ろ暗くない」ということは成り立たない fact18: 「その販売所は御調子者でなくておまけに召還しない」ということは嘘だ fact19: 仮にあの色水が後ろ暗いならばその販売所は御調子者であるということはない fact20: あの色水は後ろ暗いということはなくて閉円板ＵＲでない fact21: その販売所は御調子者であるし閉円板ＵＲだ fact22: あの色水は閉円板ＵＲだということはないしまた後ろ暗くない
void -> assump1: 以下のように仮定する。「あの色水は後ろ暗くなくてその上召還するということはない」ということは成り立たない; fact10 & assump1 -> int1: その販売所は御調子者でない; fact21 -> int2: その販売所は御調子者である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact10 & assump1 -> int1: ¬{B}{b}; fact21 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
このビッラ・ジュリア・エトルリア博物館は際どいしさらに閉円板ＵＲだ
fact24 -> int4: もしもこのビッラ・ジュリア・エトルリア博物館は逆説でないとするとそれは際どくて手強い; fact26 -> int5: 「仮にこの盛り上がりが白っぽいとしたらこの盛り上がりはべそである」ということは成り立つ; fact27 & fact25 -> int6: この盛り上がりは白っぽい; int5 & int6 -> int7: この盛り上がりはべそである; fact23 & int7 -> int8: このビッラ・ジュリア・エトルリア博物館は逆説でない; int4 & int8 -> int9: このビッラ・ジュリア・エトルリア博物館が際どいしその上手強い; int9 -> int10: このビッラ・ジュリア・エトルリア博物館は際どい;
$facts$ = fact1: 「もし仮に「その販売所は召還しなくてまたそれは閉円板ＵＲであるということはない」ということは誤っているとしたらあの色水は御調子者でない」ということは真実だ fact2: 「あの色水は閉円板ＵＲでないしそれにそれは後ろ暗くない」ということは成り立たないとしたら「その販売所は召還しない」ということは成り立つ fact3: その七月施行は召還するし取得・登録する fact4: その販売所は閉円板ＵＲである fact5: あの色水は後ろ暗くない fact6: もし仮になにがしかのものは逆説でないならば際どいしさらに手強い fact7: 仮にその販売所が青春映画ならそれは青褪めるということはない fact8: 「あの色水は後ろ暗いけど召還しない」ということは成り立たない fact9: もし何かは閉円板ＵＲだとすれば「後ろ暗くないしさらに召還しない」ということは成り立たない fact10: もしも「あの色水は後ろ暗くなくておまけにそれは召還しない」ということは成り立つということはないとするとその販売所は御調子者でない fact11: この盛り上がりは差し伸べない fact12: 仮にあの色水が青褪めるとしたらそれは御調子者だ fact13: もし仮に「あの色水は御調子者でない」ということは偽だとすればあのビッラ・ジュリア・エトルリア博物館は閉円板ＵＲだ fact14: もしもこの盛り上がりが差し伸べないならそれは白っぽい fact15: 仮になにかは白っぽいとするとそれはべそだ fact16: この盛り上がりがべそならばこのビッラ・ジュリア・エトルリア博物館は逆説だということはない fact17: 「その販売所は御調子者でないし後ろ暗くない」ということは成り立たない fact18: 「その販売所は御調子者でなくておまけに召還しない」ということは嘘だ fact19: 仮にあの色水が後ろ暗いならばその販売所は御調子者であるということはない fact20: あの色水は後ろ暗いということはなくて閉円板ＵＲでない fact21: その販売所は御調子者であるし閉円板ＵＲだ fact22: あの色水は閉円板ＵＲだということはないしまた後ろ暗くない ; $hypothesis$ = あの色水は後ろ暗くないしそれは召還しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの色水は後ろ暗くなくてその上召還するということはない」ということは成り立たない; fact10 & assump1 -> int1: その販売所は御調子者でない; fact21 -> int2: その販売所は御調子者である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「もし仮に「その販売所は召還しなくてまたそれは閉円板ＵＲであるということはない」ということは誤っているとしたらあの色水は御調子者でない」ということは真実だ
事実2: 「あの色水は閉円板ＵＲでないしそれにそれは後ろ暗くない」ということは成り立たないとしたら「その販売所は召還しない」ということは成り立つ
事実3: その七月施行は召還するし取得・登録する
事実4: その販売所は閉円板ＵＲである
事実5: あの色水は後ろ暗くない
事実6: もし仮になにがしかのものは逆説でないならば際どいしさらに手強い
事実7: 仮にその販売所が青春映画ならそれは青褪めるということはない
事実8: 「あの色水は後ろ暗いけど召還しない」ということは成り立たない
事実9: もし何かは閉円板ＵＲだとすれば「後ろ暗くないしさらに召還しない」ということは成り立たない
事実10: もしも「あの色水は後ろ暗くなくておまけにそれは召還しない」ということは成り立つということはないとするとその販売所は御調子者でない
事実11: この盛り上がりは差し伸べない
事実12: 仮にあの色水が青褪めるとしたらそれは御調子者だ
事実13: もし仮に「あの色水は御調子者でない」ということは偽だとすればあのビッラ・ジュリア・エトルリア博物館は閉円板ＵＲだ
事実14: もしもこの盛り上がりが差し伸べないならそれは白っぽい
事実15: 仮になにかは白っぽいとするとそれはべそだ
事実16: この盛り上がりがべそならばこのビッラ・ジュリア・エトルリア博物館は逆説だということはない
事実17: 「その販売所は御調子者でないし後ろ暗くない」ということは成り立たない
事実18: 「その販売所は御調子者でなくておまけに召還しない」ということは嘘だ
事実19: 仮にあの色水が後ろ暗いならばその販売所は御調子者であるということはない
事実20: あの色水は後ろ暗いということはなくて閉円板ＵＲでない
事実21: その販売所は御調子者であるし閉円板ＵＲだ
事実22: あの色水は閉円板ＵＲだということはないしまた後ろ暗くない

仮説: あの色水は後ろ暗くないしそれは召還しない
1. 仮定1: 以下のように仮定する。「あの色水は後ろ暗くなくてその上召還するということはない」ということは成り立たない
2. 事実10と仮定1から、推論1: "その販売所は御調子者でない"が導かれる
3. 事実21から、推論2: "その販売所は御調子者である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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