あの重機は養嗣子でない
fact1: 仮に「あるものはＩＴ投資であるしそれは外貨準備である」ということは成り立たないなら外貨準備でない fact2: もし仮にある物は定例会見だということはないとしたら「ＩＴ投資であるし更に外貨準備である」ということは間違っている fact3: この長期外貨建て債権債務は外貨準備だということはない一方で養嗣子である fact4: もし何かは清掃しない一方で晩秋であるならばそれは定例会見でない fact5: この長期外貨建て債権債務は晩秋だ fact6: もしも「なにかは選択され易くない一方でそれは心王・心所だ」ということは確かでないならば「それはすーごくない」ということは成り立つ fact7: もしもあの重機は外貨準備でないなら「この長期外貨建て債権債務は外貨準備でないけどそれは心王・心所である」ということは事実と異なる fact8: 「そのＫＢＬは点であるということはないけれど養嗣子である」ということは成り立たないとすれば幽閉しない fact9: もしもあの重機は外貨準備でないとしたら「「この長期外貨建て債権債務は外貨準備であるししかも心王・心所である」ということは成り立つ」ということは成り立つということはない fact10: この長期外貨建て債権債務は外貨準備だということはない一方で心王・心所である fact11: 「あの重機は養嗣子であるし食らう」ということは偽である fact12: もしもこの短里がすーごいということはないけれどそれが清掃するとするとこの長期外貨建て債権債務は清掃しない fact13: この長期外貨建て債権債務は外貨準備でない fact14: 「この長期外貨建て債権債務が外貨準備だしさらに心王・心所だ」ということは嘘だ fact15: 仮に「「あの重機は養嗣子であるということはないけれど食らう」ということは誤っている」ということは正しいとしたら「外貨準備だということはない」ということは真実である fact16: この短里はすーごくないけど清掃する
void -> assump1: 以下のように仮定する。「あの重機は養嗣子でないがそれは食らう」ということは真実でない; fact15 & assump1 -> int1: あの重機は外貨準備でない; int1 & fact7 -> int2: 「この長期外貨建て債権債務は外貨準備でないけどそれは心王・心所だ」ということは成り立たない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの重機は養嗣子でないけれど食らう; int4 -> hypothesis;
もし仮に「あのＢＧは選択され易くないがしかし心王・心所だ」ということは間違いならそれはすーごくない
fact17 -> hypothesis;
$facts$ = fact1: 仮に「あるものはＩＴ投資であるしそれは外貨準備である」ということは成り立たないなら外貨準備でない fact2: もし仮にある物は定例会見だということはないとしたら「ＩＴ投資であるし更に外貨準備である」ということは間違っている fact3: この長期外貨建て債権債務は外貨準備だということはない一方で養嗣子である fact4: もし何かは清掃しない一方で晩秋であるならばそれは定例会見でない fact5: この長期外貨建て債権債務は晩秋だ fact6: もしも「なにかは選択され易くない一方でそれは心王・心所だ」ということは確かでないならば「それはすーごくない」ということは成り立つ fact7: もしもあの重機は外貨準備でないなら「この長期外貨建て債権債務は外貨準備でないけどそれは心王・心所である」ということは事実と異なる fact8: 「そのＫＢＬは点であるということはないけれど養嗣子である」ということは成り立たないとすれば幽閉しない fact9: もしもあの重機は外貨準備でないとしたら「「この長期外貨建て債権債務は外貨準備であるししかも心王・心所である」ということは成り立つ」ということは成り立つということはない fact10: この長期外貨建て債権債務は外貨準備だということはない一方で心王・心所である fact11: 「あの重機は養嗣子であるし食らう」ということは偽である fact12: もしもこの短里がすーごいということはないけれどそれが清掃するとするとこの長期外貨建て債権債務は清掃しない fact13: この長期外貨建て債権債務は外貨準備でない fact14: 「この長期外貨建て債権債務が外貨準備だしさらに心王・心所だ」ということは嘘だ fact15: 仮に「「あの重機は養嗣子であるということはないけれど食らう」ということは誤っている」ということは正しいとしたら「外貨準備だということはない」ということは真実である fact16: この短里はすーごくないけど清掃する ; $hypothesis$ = あの重機は養嗣子でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの重機は養嗣子でないがそれは食らう」ということは真実でない; fact15 & assump1 -> int1: あの重機は外貨準備でない; int1 & fact7 -> int2: 「この長期外貨建て債権債務は外貨準備でないけどそれは心王・心所だ」ということは成り立たない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの重機は養嗣子でないけれど食らう; int4 -> hypothesis; __PROVED__
事実1: 仮に「あるものはＩＴ投資であるしそれは外貨準備である」ということは成り立たないなら外貨準備でない
事実2: もし仮にある物は定例会見だということはないとしたら「ＩＴ投資であるし更に外貨準備である」ということは間違っている
事実3: この長期外貨建て債権債務は外貨準備だということはない一方で養嗣子である
事実4: もし何かは清掃しない一方で晩秋であるならばそれは定例会見でない
事実5: この長期外貨建て債権債務は晩秋だ
事実6: もしも「なにかは選択され易くない一方でそれは心王・心所だ」ということは確かでないならば「それはすーごくない」ということは成り立つ
事実7: もしもあの重機は外貨準備でないなら「この長期外貨建て債権債務は外貨準備でないけどそれは心王・心所である」ということは事実と異なる
事実8: 「そのＫＢＬは点であるということはないけれど養嗣子である」ということは成り立たないとすれば幽閉しない
事実9: もしもあの重機は外貨準備でないとしたら「「この長期外貨建て債権債務は外貨準備であるししかも心王・心所である」ということは成り立つ」ということは成り立つということはない
事実10: この長期外貨建て債権債務は外貨準備だということはない一方で心王・心所である
事実11: 「あの重機は養嗣子であるし食らう」ということは偽である
事実12: もしもこの短里がすーごいということはないけれどそれが清掃するとするとこの長期外貨建て債権債務は清掃しない
事実13: この長期外貨建て債権債務は外貨準備でない
事実14: 「この長期外貨建て債権債務が外貨準備だしさらに心王・心所だ」ということは嘘だ
事実15: 仮に「「あの重機は養嗣子であるということはないけれど食らう」ということは誤っている」ということは正しいとしたら「外貨準備だということはない」ということは真実である
事実16: この短里はすーごくないけど清掃する

仮説: あの重機は養嗣子でない
1. 仮定1: 以下のように仮定する。「あの重機は養嗣子でないがそれは食らう」ということは真実でない
2. 事実15と仮定1から、推論1: "あの重機は外貨準備でない"が導かれる
3. 推論1と事実7から、推論2: "「この長期外貨建て債権債務は外貨準備でないけどそれは心王・心所だ」ということは成り立たない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの重機は養嗣子でないけれど食らう"が導かれる
6. 推論4から、仮説が導かれる

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