あの武力攻撃はおどろおどろしい一方で御下でない
fact1: もしもあの武力攻撃は進み出るということはないとしたら「「おどろおどろしいし御下だ」ということは事実である」ということは成り立たない fact2: 「あの武力攻撃はおどろおどろしくて加えてそれは御下だ」ということは誤りだ fact3: あの信号源はしょだけれど進み出ない fact4: もしあの信号源がおどろおどろしいけれど進み出ないならば「あの武力攻撃は進み出ない」ということは確かである fact5: 仮にこの造影早期相が誘発し易くないしそれに狒々だということはないならあの武力攻撃は誘発し易くない fact6: もし仮になにかは進み出ないなら「それはおどろおどろしいし御下でない」ということは成り立たない fact7: もし仮になにかは進み出ないなら「それはおどろおどろしくてさらに御下である」ということは間違っている fact8: あの信号源はしょだ fact9: もし仮にあの武力攻撃は誘発し易くないとしたらおどろおどろしいしおまけに進み出る fact10: もし仮にあの信号源がしょだ一方でそれが進み出ないとするとあの武力攻撃は進み出ない
fact6 -> int1: もしあの武力攻撃は進み出ないとすると「おどろおどろしくてまた御下でない」ということは間違っている; fact3 & fact10 -> int2: あの武力攻撃は進み出ない; int1 & int2 -> hypothesis;
あの武力攻撃はおどろおどろしいけれど御下でない
$facts$ = fact1: もしもあの武力攻撃は進み出るということはないとしたら「「おどろおどろしいし御下だ」ということは事実である」ということは成り立たない fact2: 「あの武力攻撃はおどろおどろしくて加えてそれは御下だ」ということは誤りだ fact3: あの信号源はしょだけれど進み出ない fact4: もしあの信号源がおどろおどろしいけれど進み出ないならば「あの武力攻撃は進み出ない」ということは確かである fact5: 仮にこの造影早期相が誘発し易くないしそれに狒々だということはないならあの武力攻撃は誘発し易くない fact6: もし仮になにかは進み出ないなら「それはおどろおどろしいし御下でない」ということは成り立たない fact7: もし仮になにかは進み出ないなら「それはおどろおどろしくてさらに御下である」ということは間違っている fact8: あの信号源はしょだ fact9: もし仮にあの武力攻撃は誘発し易くないとしたらおどろおどろしいしおまけに進み出る fact10: もし仮にあの信号源がしょだ一方でそれが進み出ないとするとあの武力攻撃は進み出ない ; $hypothesis$ = あの武力攻撃はおどろおどろしい一方で御下でない ; $proof$ = 
fact6 -> int1: もしあの武力攻撃は進み出ないとすると「おどろおどろしくてまた御下でない」ということは間違っている; fact3 & fact10 -> int2: あの武力攻撃は進み出ない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの武力攻撃は進み出るということはないとしたら「「おどろおどろしいし御下だ」ということは事実である」ということは成り立たない
事実2: 「あの武力攻撃はおどろおどろしくて加えてそれは御下だ」ということは誤りだ
事実3: あの信号源はしょだけれど進み出ない
事実4: もしあの信号源がおどろおどろしいけれど進み出ないならば「あの武力攻撃は進み出ない」ということは確かである
事実5: 仮にこの造影早期相が誘発し易くないしそれに狒々だということはないならあの武力攻撃は誘発し易くない
事実6: もし仮になにかは進み出ないなら「それはおどろおどろしいし御下でない」ということは成り立たない
事実7: もし仮になにかは進み出ないなら「それはおどろおどろしくてさらに御下である」ということは間違っている
事実8: あの信号源はしょだ
事実9: もし仮にあの武力攻撃は誘発し易くないとしたらおどろおどろしいしおまけに進み出る
事実10: もし仮にあの信号源がしょだ一方でそれが進み出ないとするとあの武力攻撃は進み出ない

仮説: あの武力攻撃はおどろおどろしい一方で御下でない
1. 事実6から、推論1: "もしあの武力攻撃は進み出ないとすると「おどろおどろしくてまた御下でない」ということは間違っている"が導かれる
2. 事実3と事実10から、推論2: "あの武力攻撃は進み出ない"が導かれる
3. 推論1と推論2から、仮説が否定される

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