あの大雪山は惜しくない
fact1: 仮になにかは追撃するがしかし認識し得ないとすればそれは求め過ぎない fact2: もしその債務者自身が求め過ぎないとしたらそれは主幹事証券会社でない fact3: その債務者自身が漏れ出るということはなくてしかもそれが世界全体でないとするとこの登録メンバーは主幹事証券会社である fact4: ディフェンダーは漏れ出なくて世界全体でない fact5: 「この登録メンバーはディフェンダーである一方で漏れ出ない」ということは間違っている fact6: もし何らかのものが初期化しないとしたらそれは追撃する一方で認識し得ない fact7: もしもその調達平均金利ははだけないとすると「それはウィグル文字でないしそれにそれは反落する」ということは事実と異なる fact8: 主幹事証券会社は初期化するかあるいは求め過ぎない fact9: 仮にこの登録メンバーが初期化するならこの有為転変は初期化しない fact10: その債務者自身は世界全体である fact11: もしこの有為転変が世界全体でない一方でそれが認識し得るとしたらあの車達は世界全体でない fact12: もしこの有為転変が追撃するけれどそれが認識し得ないとしたらあの大雪山は認識し得る fact13: もしもこの有為転変は認識し得るなら「その債務者自身は追撃するが認識し得ない」ということは確かである fact14: もし仮にあるものが認識し得るとするとそれは惜しい fact15: もしその債務者自身が主幹事証券会社でない一方で世界全体だとしたらあの大雪山は惜しいということはない fact16: もし仮にこの有為転変が認識し得るということはないならばこの登録メンバーは初期化する fact17: その調達平均金利ははだけるということはない fact18: 「あの生体消毒はディフェンダーでないがしかし考え辛い」ということは成り立たないならその債務者自身はディフェンダーだ fact19: もし仮に「その調達平均金利はウィグル文字でないがそれは反落する」ということは成り立たないとするとこの順番待ちは反落しない fact20: 仮に「この登録メンバーはディフェンダーであるがしかし漏れ出ない」ということは成り立たないとすると初期化するということはない
void -> assump1: 以下のように仮定する。この有為転変は認識し得ない; fact16 & assump1 -> int1: 「この登録メンバーは初期化する」ということは事実だ; fact20 & fact5 -> int2: この登録メンバーは初期化しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この有為転変は認識し得る; int4 & fact13 -> int5: その債務者自身は追撃するがしかし認識し得ない; fact1 -> int6: もし仮にその債務者自身は追撃するけれど認識し得ないとすると求め過ぎない; int5 & int6 -> int7: その債務者自身は求め過ぎるということはない; int7 & fact2 -> int8: その債務者自身は主幹事証券会社でない; int8 & fact10 -> int9: その債務者自身は主幹事証券会社であるということはないけど世界全体である; int9 & fact15 -> hypothesis;
あの車達は世界全体でない
$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: 以下のように仮定する。この有為転変は認識し得ない; fact16 & assump1 -> int1: 「この登録メンバーは初期化する」ということは事実だ; fact20 & fact5 -> int2: この登録メンバーは初期化しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この有為転変は認識し得る; int4 & fact13 -> int5: その債務者自身は追撃するがしかし認識し得ない; fact1 -> int6: もし仮にその債務者自身は追撃するけれど認識し得ないとすると求め過ぎない; int5 & int6 -> int7: その債務者自身は求め過ぎるということはない; int7 & fact2 -> int8: その債務者自身は主幹事証券会社でない; int8 & fact10 -> int9: その債務者自身は主幹事証券会社であるということはないけど世界全体である; int9 & fact15 -> 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. 事実16と仮定1から、推論1: "「この登録メンバーは初期化する」ということは事実だ"が導かれる
3. 事実20と事実5から、推論2: "この登録メンバーは初期化しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この有為転変は認識し得る"が導かれる
6. 推論4と事実13から、推論5: "その債務者自身は追撃するがしかし認識し得ない"が導かれる
7. 事実1から、推論6: "もし仮にその債務者自身は追撃するけれど認識し得ないとすると求め過ぎない"が導かれる
8. 推論5と推論6から、推論7: "その債務者自身は求め過ぎるということはない"が導かれる
9. 推論7と事実2から、推論8: "その債務者自身は主幹事証券会社でない"が導かれる
10. 推論8と事実10から、推論9: "その債務者自身は主幹事証券会社であるということはないけど世界全体である"が導かれる
11. 推論9と事実15から、仮説が導かれる

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