そのオフィシャル・サイトは到来しない
fact1: もしもなにかは手術するか御出掛けないならば共同声明でない fact2: もしもこの大荷物が共同声明でないけど極まり悪いとするとそのヘブライ語は頑是無くない fact3: もしもその六十パーセント以上が堪え難くないとしたらそのヘブライ語は染み込み易いししかも悪しい fact4: あの二本柱は全否定する fact5: 仮にこの十五日未明が共同声明であるということはないとするとこの大荷物は共同声明でない一方で極まり悪い fact6: 仮に「なにがしかの物は頑是無くないしおまけに共同声明でない」ということは嘘だとしたら「到来しない」ということは正しい fact7: もし仮にこの大荷物は極まり悪いなら「そのオフィシャル・サイトは頑是無いということはなくて共同声明でない」ということは成り立たない fact8: 「この大荷物は共同声明であるかまたは頑是無くないかあるいは両方である」ということは成り立たない fact9: この収束会議は共同声明である fact10: もし仮にその六十パーセント以上が混血しないとするとそれは染み込み易くないが堪え難い fact11: もしも「とあるものは染み込み易くないし混血しない」ということは成り立たないとすると染み込み易い fact12: 「その需要サイドは混血しない一方で手控える」ということは正しい fact13: もし仮に何らかのものが染み込み易いとしたらそれは頑是無い fact14: 「そのヘブライ語は染み込み易くないし更に混血しない」ということは成り立つということはない fact15: もしもある物は悪しいとすると「極まり悪い」ということは成り立つ fact16: 仮になにがしかのものは頑是無いならば「それは信ずかもしくはそれは寝苦しくないかあるいは両方ともである」ということは成り立たない fact17: 仮にあるものが全否定するなら混血する fact18: もしもその御遺骸は混血するとすれば「その交換部品は得易くないが堪え難い」ということは偽だ fact19: そのヘブライ語が染み込み易いか頑是無くないとすると御出掛けない fact20: もしもそのヘブライ語が極まり悪いとするとこの大荷物は極まり悪い fact21: もし仮にあの二本柱は全否定するとしたら「その御遺骸は全否定する」ということは真実だ fact22: もしその六十パーセント以上は到来しないとすれば「そのヘブライ語は悪しくないかあるいは共同声明だ」ということは成り立たない fact23: もし仮にその六十パーセント以上が悪しいとしたらそのオフィシャル・サイトは到来する fact24: 仮に「この十五日未明は手術するかまたは御出掛けない」ということは成り立たないならばその六十パーセント以上は悪しい fact25: 仮に「何かは極まり悪いけど頑是無くない」ということは成り立たないとしたら頑是無い fact26: その六十パーセント以上は混血しない fact27: もし「そのヘブライ語は悪しくないかまたは共同声明であるかあるいは両方である」ということは成り立たないならこの大荷物は極まり悪くない
fact1 -> int1: この十五日未明が手術するかもしくはそれが御出掛けるということはないならそれは共同声明でない; void -> assump1: 以下のように仮定する。この十五日未明は手術するかあるいはそれは御出掛けないかもしくはどちらもである; int1 & assump1 -> int2: この十五日未明は共同声明でない; int2 & fact5 -> int3: この大荷物は共同声明でないがしかし極まり悪い; int3 & fact2 -> int4: そのヘブライ語は頑是無くない; fact11 -> int5: 「そのヘブライ語は染み込み易くないし更に混血しない」ということは嘘だとすると染み込み易い; fact14 & int5 -> int6: そのヘブライ語は染み込み易い; fact13 -> int7: もし仮に「そのヘブライ語は染み込み易い」ということは真実であるならそれは頑是無い; int6 & int7 -> int8: そのヘブライ語は頑是無い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この十五日未明は手術するかあるいはそれは御出掛けるということはない」ということは成り立たない; int10 & fact24 -> int11: その六十パーセント以上は悪しい; int11 & fact23 -> hypothesis;
そのオフィシャル・サイトは到来しない
fact28 -> int12: 仮に「そのオフィシャル・サイトは頑是無いということはなくてかつそれは共同声明であるということはない」ということは嘘だとすれば「到来しない」ということは成り立つ; fact32 -> int13: もしもそのヘブライ語が悪しいならそれは極まり悪い; fact31 -> int14: もしその御遺骸は全否定するなら「混血する」ということは本当である; fact35 & fact29 -> int15: その御遺骸は全否定する; int14 & int15 -> int16: その御遺骸は混血する; fact36 & int16 -> int17: 「その交換部品は得易くないけれど堪え難い」ということは誤りだ; int17 -> int18: 「「得易くないし堪え難い」ということは偽である」ものはある;
$facts$ = fact1: もしもなにかは手術するか御出掛けないならば共同声明でない fact2: もしもこの大荷物が共同声明でないけど極まり悪いとするとそのヘブライ語は頑是無くない fact3: もしもその六十パーセント以上が堪え難くないとしたらそのヘブライ語は染み込み易いししかも悪しい fact4: あの二本柱は全否定する fact5: 仮にこの十五日未明が共同声明であるということはないとするとこの大荷物は共同声明でない一方で極まり悪い fact6: 仮に「なにがしかの物は頑是無くないしおまけに共同声明でない」ということは嘘だとしたら「到来しない」ということは正しい fact7: もし仮にこの大荷物は極まり悪いなら「そのオフィシャル・サイトは頑是無いということはなくて共同声明でない」ということは成り立たない fact8: 「この大荷物は共同声明であるかまたは頑是無くないかあるいは両方である」ということは成り立たない fact9: この収束会議は共同声明である fact10: もし仮にその六十パーセント以上が混血しないとするとそれは染み込み易くないが堪え難い fact11: もしも「とあるものは染み込み易くないし混血しない」ということは成り立たないとすると染み込み易い fact12: 「その需要サイドは混血しない一方で手控える」ということは正しい fact13: もし仮に何らかのものが染み込み易いとしたらそれは頑是無い fact14: 「そのヘブライ語は染み込み易くないし更に混血しない」ということは成り立つということはない fact15: もしもある物は悪しいとすると「極まり悪い」ということは成り立つ fact16: 仮になにがしかのものは頑是無いならば「それは信ずかもしくはそれは寝苦しくないかあるいは両方ともである」ということは成り立たない fact17: 仮にあるものが全否定するなら混血する fact18: もしもその御遺骸は混血するとすれば「その交換部品は得易くないが堪え難い」ということは偽だ fact19: そのヘブライ語が染み込み易いか頑是無くないとすると御出掛けない fact20: もしもそのヘブライ語が極まり悪いとするとこの大荷物は極まり悪い fact21: もし仮にあの二本柱は全否定するとしたら「その御遺骸は全否定する」ということは真実だ fact22: もしその六十パーセント以上は到来しないとすれば「そのヘブライ語は悪しくないかあるいは共同声明だ」ということは成り立たない fact23: もし仮にその六十パーセント以上が悪しいとしたらそのオフィシャル・サイトは到来する fact24: 仮に「この十五日未明は手術するかまたは御出掛けない」ということは成り立たないならばその六十パーセント以上は悪しい fact25: 仮に「何かは極まり悪いけど頑是無くない」ということは成り立たないとしたら頑是無い fact26: その六十パーセント以上は混血しない fact27: もし「そのヘブライ語は悪しくないかまたは共同声明であるかあるいは両方である」ということは成り立たないならこの大荷物は極まり悪くない ; $hypothesis$ = そのオフィシャル・サイトは到来しない ; $proof$ = 
fact1 -> int1: この十五日未明が手術するかもしくはそれが御出掛けるということはないならそれは共同声明でない; void -> assump1: 以下のように仮定する。この十五日未明は手術するかあるいはそれは御出掛けないかもしくはどちらもである; int1 & assump1 -> int2: この十五日未明は共同声明でない; int2 & fact5 -> int3: この大荷物は共同声明でないがしかし極まり悪い; int3 & fact2 -> int4: そのヘブライ語は頑是無くない; fact11 -> int5: 「そのヘブライ語は染み込み易くないし更に混血しない」ということは嘘だとすると染み込み易い; fact14 & int5 -> int6: そのヘブライ語は染み込み易い; fact13 -> int7: もし仮に「そのヘブライ語は染み込み易い」ということは真実であるならそれは頑是無い; int6 & int7 -> int8: そのヘブライ語は頑是無い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この十五日未明は手術するかあるいはそれは御出掛けるということはない」ということは成り立たない; int10 & fact24 -> int11: その六十パーセント以上は悪しい; int11 & fact23 -> hypothesis; __DISPROVED__
事実1: もしもなにかは手術するか御出掛けないならば共同声明でない
事実2: もしもこの大荷物が共同声明でないけど極まり悪いとするとそのヘブライ語は頑是無くない
事実3: もしもその六十パーセント以上が堪え難くないとしたらそのヘブライ語は染み込み易いししかも悪しい
事実4: あの二本柱は全否定する
事実5: 仮にこの十五日未明が共同声明であるということはないとするとこの大荷物は共同声明でない一方で極まり悪い
事実6: 仮に「なにがしかの物は頑是無くないしおまけに共同声明でない」ということは嘘だとしたら「到来しない」ということは正しい
事実7: もし仮にこの大荷物は極まり悪いなら「そのオフィシャル・サイトは頑是無いということはなくて共同声明でない」ということは成り立たない
事実8: 「この大荷物は共同声明であるかまたは頑是無くないかあるいは両方である」ということは成り立たない
事実9: この収束会議は共同声明である
事実10: もし仮にその六十パーセント以上が混血しないとするとそれは染み込み易くないが堪え難い
事実11: もしも「とあるものは染み込み易くないし混血しない」ということは成り立たないとすると染み込み易い
事実12: 「その需要サイドは混血しない一方で手控える」ということは正しい
事実13: もし仮に何らかのものが染み込み易いとしたらそれは頑是無い
事実14: 「そのヘブライ語は染み込み易くないし更に混血しない」ということは成り立つということはない
事実15: もしもある物は悪しいとすると「極まり悪い」ということは成り立つ
事実16: 仮になにがしかのものは頑是無いならば「それは信ずかもしくはそれは寝苦しくないかあるいは両方ともである」ということは成り立たない
事実17: 仮にあるものが全否定するなら混血する
事実18: もしもその御遺骸は混血するとすれば「その交換部品は得易くないが堪え難い」ということは偽だ
事実19: そのヘブライ語が染み込み易いか頑是無くないとすると御出掛けない
事実20: もしもそのヘブライ語が極まり悪いとするとこの大荷物は極まり悪い
事実21: もし仮にあの二本柱は全否定するとしたら「その御遺骸は全否定する」ということは真実だ
事実22: もしその六十パーセント以上は到来しないとすれば「そのヘブライ語は悪しくないかあるいは共同声明だ」ということは成り立たない
事実23: もし仮にその六十パーセント以上が悪しいとしたらそのオフィシャル・サイトは到来する
事実24: 仮に「この十五日未明は手術するかまたは御出掛けない」ということは成り立たないならばその六十パーセント以上は悪しい
事実25: 仮に「何かは極まり悪いけど頑是無くない」ということは成り立たないとしたら頑是無い
事実26: その六十パーセント以上は混血しない
事実27: もし「そのヘブライ語は悪しくないかまたは共同声明であるかあるいは両方である」ということは成り立たないならこの大荷物は極まり悪くない

仮説: そのオフィシャル・サイトは到来しない
1. 事実1から、推論1: "この十五日未明が手術するかもしくはそれが御出掛けるということはないならそれは共同声明でない"が導かれる
2. 仮定1: 以下のように仮定する。この十五日未明は手術するかあるいはそれは御出掛けないかもしくはどちらもである
3. 推論1と仮定1から、推論2: "この十五日未明は共同声明でない"が導かれる
4. 推論2と事実5から、推論3: "この大荷物は共同声明でないがしかし極まり悪い"が導かれる
5. 推論3と事実2から、推論4: "そのヘブライ語は頑是無くない"が導かれる
6. 事実11から、推論5: "「そのヘブライ語は染み込み易くないし更に混血しない」ということは嘘だとすると染み込み易い"が導かれる
7. 事実14と推論5から、推論6: "そのヘブライ語は染み込み易い"が導かれる
8. 事実13から、推論7: "もし仮に「そのヘブライ語は染み込み易い」ということは真実であるならそれは頑是無い"が導かれる
9. 推論6と推論7から、推論8: "そのヘブライ語は頑是無い"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「この十五日未明は手術するかあるいはそれは御出掛けるということはない」ということは成り立たない"が導かれる
12. 推論10と事実24から、推論11: "その六十パーセント以上は悪しい"が導かれる
13. 推論11と事実23から、仮説が否定される

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