その寄付は古いということはない
fact1: 仮にその左近は数え方でないとすれば「疾しないし加えて二千人以上でない」ということは間違いだ fact2: もしあの友達関係は施設介護だとしたら「あの陸家嘴は失墜するということはなくておまけに若しない」ということは事実と異なる fact3: もし仮になにかは調べ易くないとしたら「若しし加えて見られ易い」ということは成り立つということはない fact4: 「もし仮に「なんらかの物はガス事業でないがしかしそれは施設介護である」ということは偽であるならばそれは古くない」ということは確かだ fact5: もしも「何かは壊れ難くないけど仕分ける」ということは嘘ならばそれは施設介護である fact6: もしこの変異株がガス事業であるとすればその寄付は古い fact7: あらゆるものは見られ易い fact8: あの友達関係が失墜しないならばこの変異株は失墜するということはない fact9: もし「「失墜しないしさらに若しない」ということは誤りな」ものはあるとすれば「あの高精度は見られ易い」ということは間違いである fact10: もしも「その左近は疾しないしそれは二千人以上でない」ということは間違いだとしたら「自然成立しない」ということは成り立つ fact11: もし仮に「「あの陸家嘴は若ししさらにそれは見られ易い」ということは成り立たない」ということは本当だとしたら「あの友達関係は失墜しない」ということは成り立つ fact12: もしもこの変異株はガス事業でないとすると「あの友達関係は壊れ難くないけど仕分ける」ということは成り立たない fact13: 仮に「あの高精度はグローバリズムでないかもしくはそれは調べ易くない」ということは成り立たないとするとあの陸家嘴は調べ易いということはない
void -> assump1: 以下のように仮定する。この変異株はガス事業でない; fact12 & assump1 -> int1: 「あの友達関係は壊れ難くないけれど仕分ける」ということは誤っている; fact5 -> int2: もしも「あの友達関係は壊れ難くないがしかし仕分ける」ということは誤りなら施設介護である; int1 & int2 -> int3: あの友達関係は施設介護だ; int3 & fact2 -> int4: 「あの陸家嘴は失墜しなくてしかも若しない」ということは誤っている; int4 -> int5: 「「失墜しないしそれに若しない」ということは成り立たない」物はある; int5 & fact9 -> int6: あの高精度は見られ易くない; fact7 -> int7: あの高精度は見られ易い; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この変異株はガス事業だ; int9 & fact6 -> hypothesis;
その寄付は古くない
fact14 -> int10: もしも「その寄付はガス事業でないがそれは施設介護である」ということは偽であるならば古くない; fact16 -> int11: あの陸家嘴は調べ易くないとすると「若しし見られ易い」ということは偽だ;
$facts$ = fact1: 仮にその左近は数え方でないとすれば「疾しないし加えて二千人以上でない」ということは間違いだ fact2: もしあの友達関係は施設介護だとしたら「あの陸家嘴は失墜するということはなくておまけに若しない」ということは事実と異なる fact3: もし仮になにかは調べ易くないとしたら「若しし加えて見られ易い」ということは成り立つということはない fact4: 「もし仮に「なんらかの物はガス事業でないがしかしそれは施設介護である」ということは偽であるならばそれは古くない」ということは確かだ fact5: もしも「何かは壊れ難くないけど仕分ける」ということは嘘ならばそれは施設介護である fact6: もしこの変異株がガス事業であるとすればその寄付は古い fact7: あらゆるものは見られ易い fact8: あの友達関係が失墜しないならばこの変異株は失墜するということはない fact9: もし「「失墜しないしさらに若しない」ということは誤りな」ものはあるとすれば「あの高精度は見られ易い」ということは間違いである fact10: もしも「その左近は疾しないしそれは二千人以上でない」ということは間違いだとしたら「自然成立しない」ということは成り立つ fact11: もし仮に「「あの陸家嘴は若ししさらにそれは見られ易い」ということは成り立たない」ということは本当だとしたら「あの友達関係は失墜しない」ということは成り立つ fact12: もしもこの変異株はガス事業でないとすると「あの友達関係は壊れ難くないけど仕分ける」ということは成り立たない fact13: 仮に「あの高精度はグローバリズムでないかもしくはそれは調べ易くない」ということは成り立たないとするとあの陸家嘴は調べ易いということはない ; $hypothesis$ = その寄付は古いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この変異株はガス事業でない; fact12 & assump1 -> int1: 「あの友達関係は壊れ難くないけれど仕分ける」ということは誤っている; fact5 -> int2: もしも「あの友達関係は壊れ難くないがしかし仕分ける」ということは誤りなら施設介護である; int1 & int2 -> int3: あの友達関係は施設介護だ; int3 & fact2 -> int4: 「あの陸家嘴は失墜しなくてしかも若しない」ということは誤っている; int4 -> int5: 「「失墜しないしそれに若しない」ということは成り立たない」物はある; int5 & fact9 -> int6: あの高精度は見られ易くない; fact7 -> int7: あの高精度は見られ易い; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この変異株はガス事業だ; int9 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にその左近は数え方でないとすれば「疾しないし加えて二千人以上でない」ということは間違いだ
事実2: もしあの友達関係は施設介護だとしたら「あの陸家嘴は失墜するということはなくておまけに若しない」ということは事実と異なる
事実3: もし仮になにかは調べ易くないとしたら「若しし加えて見られ易い」ということは成り立つということはない
事実4: 「もし仮に「なんらかの物はガス事業でないがしかしそれは施設介護である」ということは偽であるならばそれは古くない」ということは確かだ
事実5: もしも「何かは壊れ難くないけど仕分ける」ということは嘘ならばそれは施設介護である
事実6: もしこの変異株がガス事業であるとすればその寄付は古い
事実7: あらゆるものは見られ易い
事実8: あの友達関係が失墜しないならばこの変異株は失墜するということはない
事実9: もし「「失墜しないしさらに若しない」ということは誤りな」ものはあるとすれば「あの高精度は見られ易い」ということは間違いである
事実10: もしも「その左近は疾しないしそれは二千人以上でない」ということは間違いだとしたら「自然成立しない」ということは成り立つ
事実11: もし仮に「「あの陸家嘴は若ししさらにそれは見られ易い」ということは成り立たない」ということは本当だとしたら「あの友達関係は失墜しない」ということは成り立つ
事実12: もしもこの変異株はガス事業でないとすると「あの友達関係は壊れ難くないけど仕分ける」ということは成り立たない
事実13: 仮に「あの高精度はグローバリズムでないかもしくはそれは調べ易くない」ということは成り立たないとするとあの陸家嘴は調べ易いということはない

仮説: その寄付は古いということはない
1. 仮定1: 以下のように仮定する。この変異株はガス事業でない
2. 事実12と仮定1から、推論1: "「あの友達関係は壊れ難くないけれど仕分ける」ということは誤っている"が導かれる
3. 事実5から、推論2: "もしも「あの友達関係は壊れ難くないがしかし仕分ける」ということは誤りなら施設介護である"が導かれる
4. 推論1と推論2から、推論3: "あの友達関係は施設介護だ"が導かれる
5. 推論3と事実2から、推論4: "「あの陸家嘴は失墜しなくてしかも若しない」ということは誤っている"が導かれる
6. 推論4から、推論5: "「「失墜しないしそれに若しない」ということは成り立たない」物はある"が導かれる
7. 推論5と事実9から、推論6: "あの高精度は見られ易くない"が導かれる
8. 事実7から、推論7: "あの高精度は見られ易い"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この変異株はガス事業だ"が導かれる
11. 推論9と事実6から、仮説が否定される

よって、仮説が否定されました。