あの折は返還時期でない
fact1: 仮に「この入館料は上げ下げであるがしかし鉛フリーでない」ということは誤りだとしたらあの折は返還時期でない fact2: もしもあの折は返還時期であるとしたら「この入館料は上げ下げであるしそれは返還時期だ」ということは誤っている fact3: 仮にその真田家が練らないとすればこの入館料は犀レースでなくて加えて打ち上がり易くない fact4: 「「この入館料は鉛フリーでないが終了画面である」ということは成り立たない」ということは真実である fact5: もし仮にあの正月以来は仰々しくないならば「この青竜苑は詰まり易くないがしかし終了画面だ」ということは嘘だ fact6: もしも何かは鉛フリーであるならば仰々しい fact7: 仰々しい物は鉛フリーである fact8: もしも「あの正月以来は鉛フリーだけれどそれは仰々しくない」ということは誤っているとすればこの入館料は終了画面であるということはない fact9: この青竜苑は終了画面である fact10: もしもなんらかの物が仰々しいとすればそれは返還時期である fact11: もし「何らかのものはパルク・デ・プランスであるけど悶え狂わない」ということは成り立たないとしたらそれはパルク・デ・プランスでない fact12: もし仮にあの正月以来は鉛フリーだとしたら「この入館料は上げ下げだが鉛フリーでない」ということは間違っている fact13: あの正月以来がパルク・デ・プランスでないならあの折は鉛フリーでそれに上げ下げである fact14: その真田家は練らない fact15: あの正月以来は上げ下げだということはない fact16: 仮に「あの正月以来は仰々しいけれど上げ下げでない」ということは事実でないとすればこの入館料は鉛フリーであるということはない fact17: この青竜苑は傷付き易くない fact18: もし仮に「この青竜苑は晴れがましい」ということは事実であるとすると「あの正月以来はパルク・デ・プランスだけれど悶え狂わない」ということは嘘だ fact19: この青竜苑は詰まり易くない fact20: この入館料は詰まり易くない
void -> assump1: 以下のように仮定する。あの正月以来は仰々しくない; fact5 & assump1 -> int1: 「この青竜苑は詰まり易くないけどそれは終了画面だ」ということは誤りだ; fact19 & fact9 -> int2: この青竜苑は詰まり易くないがそれは終了画面である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの正月以来は仰々しい」ということは事実だ; fact7 -> int5: 仮にあの正月以来が仰々しいとすればそれは鉛フリーである; int4 & int5 -> int6: 「あの正月以来は鉛フリーである」ということは確かである; int6 & fact12 -> int7: 「この入館料は上げ下げであるが鉛フリーでない」ということは偽である; int7 & fact1 -> hypothesis;
あの折は返還時期だ
fact23 -> int8: もしあの折が仰々しいとすれば返還時期だ; fact22 -> int9: あの折が鉛フリーならば仰々しい; fact27 -> int10: もし仮に「あの正月以来はパルク・デ・プランスであるけど悶え狂わない」ということは成り立つということはないとするとそれはパルク・デ・プランスでない; fact24 & fact21 -> int11: 「この入館料は犀レースでなくてしかも打ち上がり易いということはない」ということは成り立つ; int11 -> int12: なにかは犀レースだということはないしそれに打ち上がり易くない;
$facts$ = fact1: 仮に「この入館料は上げ下げであるがしかし鉛フリーでない」ということは誤りだとしたらあの折は返還時期でない fact2: もしもあの折は返還時期であるとしたら「この入館料は上げ下げであるしそれは返還時期だ」ということは誤っている fact3: 仮にその真田家が練らないとすればこの入館料は犀レースでなくて加えて打ち上がり易くない fact4: 「「この入館料は鉛フリーでないが終了画面である」ということは成り立たない」ということは真実である fact5: もし仮にあの正月以来は仰々しくないならば「この青竜苑は詰まり易くないがしかし終了画面だ」ということは嘘だ fact6: もしも何かは鉛フリーであるならば仰々しい fact7: 仰々しい物は鉛フリーである fact8: もしも「あの正月以来は鉛フリーだけれどそれは仰々しくない」ということは誤っているとすればこの入館料は終了画面であるということはない fact9: この青竜苑は終了画面である fact10: もしもなんらかの物が仰々しいとすればそれは返還時期である fact11: もし「何らかのものはパルク・デ・プランスであるけど悶え狂わない」ということは成り立たないとしたらそれはパルク・デ・プランスでない fact12: もし仮にあの正月以来は鉛フリーだとしたら「この入館料は上げ下げだが鉛フリーでない」ということは間違っている fact13: あの正月以来がパルク・デ・プランスでないならあの折は鉛フリーでそれに上げ下げである fact14: その真田家は練らない fact15: あの正月以来は上げ下げだということはない fact16: 仮に「あの正月以来は仰々しいけれど上げ下げでない」ということは事実でないとすればこの入館料は鉛フリーであるということはない fact17: この青竜苑は傷付き易くない fact18: もし仮に「この青竜苑は晴れがましい」ということは事実であるとすると「あの正月以来はパルク・デ・プランスだけれど悶え狂わない」ということは嘘だ fact19: この青竜苑は詰まり易くない fact20: この入館料は詰まり易くない ; $hypothesis$ = あの折は返還時期でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの正月以来は仰々しくない; fact5 & assump1 -> int1: 「この青竜苑は詰まり易くないけどそれは終了画面だ」ということは誤りだ; fact19 & fact9 -> int2: この青竜苑は詰まり易くないがそれは終了画面である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの正月以来は仰々しい」ということは事実だ; fact7 -> int5: 仮にあの正月以来が仰々しいとすればそれは鉛フリーである; int4 & int5 -> int6: 「あの正月以来は鉛フリーである」ということは確かである; int6 & fact12 -> int7: 「この入館料は上げ下げであるが鉛フリーでない」ということは偽である; int7 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「この入館料は上げ下げであるがしかし鉛フリーでない」ということは誤りだとしたらあの折は返還時期でない
事実2: もしもあの折は返還時期であるとしたら「この入館料は上げ下げであるしそれは返還時期だ」ということは誤っている
事実3: 仮にその真田家が練らないとすればこの入館料は犀レースでなくて加えて打ち上がり易くない
事実4: 「「この入館料は鉛フリーでないが終了画面である」ということは成り立たない」ということは真実である
事実5: もし仮にあの正月以来は仰々しくないならば「この青竜苑は詰まり易くないがしかし終了画面だ」ということは嘘だ
事実6: もしも何かは鉛フリーであるならば仰々しい
事実7: 仰々しい物は鉛フリーである
事実8: もしも「あの正月以来は鉛フリーだけれどそれは仰々しくない」ということは誤っているとすればこの入館料は終了画面であるということはない
事実9: この青竜苑は終了画面である
事実10: もしもなんらかの物が仰々しいとすればそれは返還時期である
事実11: もし「何らかのものはパルク・デ・プランスであるけど悶え狂わない」ということは成り立たないとしたらそれはパルク・デ・プランスでない
事実12: もし仮にあの正月以来は鉛フリーだとしたら「この入館料は上げ下げだが鉛フリーでない」ということは間違っている
事実13: あの正月以来がパルク・デ・プランスでないならあの折は鉛フリーでそれに上げ下げである
事実14: その真田家は練らない
事実15: あの正月以来は上げ下げだということはない
事実16: 仮に「あの正月以来は仰々しいけれど上げ下げでない」ということは事実でないとすればこの入館料は鉛フリーであるということはない
事実17: この青竜苑は傷付き易くない
事実18: もし仮に「この青竜苑は晴れがましい」ということは事実であるとすると「あの正月以来はパルク・デ・プランスだけれど悶え狂わない」ということは嘘だ
事実19: この青竜苑は詰まり易くない
事実20: この入館料は詰まり易くない

仮説: あの折は返還時期でない
1. 仮定1: 以下のように仮定する。あの正月以来は仰々しくない
2. 事実5と仮定1から、推論1: "「この青竜苑は詰まり易くないけどそれは終了画面だ」ということは誤りだ"が導かれる
3. 事実19と事実9から、推論2: "この青竜苑は詰まり易くないがそれは終了画面である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの正月以来は仰々しい」ということは事実だ"が導かれる
6. 事実7から、推論5: "仮にあの正月以来が仰々しいとすればそれは鉛フリーである"が導かれる
7. 推論4と推論5から、推論6: "「あの正月以来は鉛フリーである」ということは確かである"が導かれる
8. 推論6と事実12から、推論7: "「この入館料は上げ下げであるが鉛フリーでない」ということは偽である"が導かれる
9. 推論7と事実1から、仮説が導かれる

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