仮に「その弾道ミサイルは受領す」ということは成り立つとすると「あの水平力は懐中するけれどそれは捗々しくない」ということは事実と異なる
fact1: あの水平力は対応し易くないかもしくはそれは押し易いということはない fact2: あの至上命令は捗々しいとすると「あの水平力は懐中するしまた捗々しい」ということは嘘だ fact3: その二高は絡まり合う fact4: もし仮にその弾道ミサイルが受領すとすればあの水平力は懐中するけどそれは捗々しくない fact5: その二高は捗々しくないかもしくは御濃いかもしくは両方ともだ fact6: 「あの水平力は懐中するし捗々しい」ということは成り立つということはない fact7: もしその二高が受領すらないかまたは絡まり合うということはないかあるいは両方ともならその弾道ミサイルは捗々しくない fact8: あの水平力は懐中するけど捗々しくない fact9: もしもあの至上命令は捗々しいならば「あの水平力は懐中する一方で捗々しくない」ということは間違いである fact10: もし「その二高は絡まり合うかあるいは御濃くないか両方だ」ということは事実と異なるとするとあの至上命令は捗々しい fact11: もし仮にその二高が絡まり合わないかあるいは御濃くないか両方ともであるとしたらその弾道ミサイルは受領すらない fact12: 仮に「その二高は絡まり合わないかあるいは御濃くない」ということは確かでないなら「あの至上命令は捗々しい」ということは成り立つ
void -> assump2: 以下のように仮定する。その二高は絡まり合わないかあるいはそれは御濃くない; fact11 & assump2 -> int1: その弾道ミサイルは受領すらない; void -> assump1: 以下のように仮定する。その弾道ミサイルは受領す; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その二高は絡まり合わないかもしくは御濃くない」ということは成り立たない; int3 & fact12 -> int4: 「あの至上命令は捗々しくない」ということは事実と異なる; int4 & fact9 -> int5: 「あの水平力は懐中するが捗々しくない」ということは真実でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの水平力は対応し易くないかもしくはそれは押し易いということはない fact2: あの至上命令は捗々しいとすると「あの水平力は懐中するしまた捗々しい」ということは嘘だ fact3: その二高は絡まり合う fact4: もし仮にその弾道ミサイルが受領すとすればあの水平力は懐中するけどそれは捗々しくない fact5: その二高は捗々しくないかもしくは御濃いかもしくは両方ともだ fact6: 「あの水平力は懐中するし捗々しい」ということは成り立つということはない fact7: もしその二高が受領すらないかまたは絡まり合うということはないかあるいは両方ともならその弾道ミサイルは捗々しくない fact8: あの水平力は懐中するけど捗々しくない fact9: もしもあの至上命令は捗々しいならば「あの水平力は懐中する一方で捗々しくない」ということは間違いである fact10: もし「その二高は絡まり合うかあるいは御濃くないか両方だ」ということは事実と異なるとするとあの至上命令は捗々しい fact11: もし仮にその二高が絡まり合わないかあるいは御濃くないか両方ともであるとしたらその弾道ミサイルは受領すらない fact12: 仮に「その二高は絡まり合わないかあるいは御濃くない」ということは確かでないなら「あの至上命令は捗々しい」ということは成り立つ ; $hypothesis$ = 仮に「その弾道ミサイルは受領す」ということは成り立つとすると「あの水平力は懐中するけれどそれは捗々しくない」ということは事実と異なる ; $proof$ = 
void -> assump2: 以下のように仮定する。その二高は絡まり合わないかあるいはそれは御濃くない; fact11 & assump2 -> int1: その弾道ミサイルは受領すらない; void -> assump1: 以下のように仮定する。その弾道ミサイルは受領す; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その二高は絡まり合わないかもしくは御濃くない」ということは成り立たない; int3 & fact12 -> int4: 「あの至上命令は捗々しくない」ということは事実と異なる; int4 & fact9 -> int5: 「あの水平力は懐中するが捗々しくない」ということは真実でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの水平力は対応し易くないかもしくはそれは押し易いということはない
事実2: あの至上命令は捗々しいとすると「あの水平力は懐中するしまた捗々しい」ということは嘘だ
事実3: その二高は絡まり合う
事実4: もし仮にその弾道ミサイルが受領すとすればあの水平力は懐中するけどそれは捗々しくない
事実5: その二高は捗々しくないかもしくは御濃いかもしくは両方ともだ
事実6: 「あの水平力は懐中するし捗々しい」ということは成り立つということはない
事実7: もしその二高が受領すらないかまたは絡まり合うということはないかあるいは両方ともならその弾道ミサイルは捗々しくない
事実8: あの水平力は懐中するけど捗々しくない
事実9: もしもあの至上命令は捗々しいならば「あの水平力は懐中する一方で捗々しくない」ということは間違いである
事実10: もし「その二高は絡まり合うかあるいは御濃くないか両方だ」ということは事実と異なるとするとあの至上命令は捗々しい
事実11: もし仮にその二高が絡まり合わないかあるいは御濃くないか両方ともであるとしたらその弾道ミサイルは受領すらない
事実12: 仮に「その二高は絡まり合わないかあるいは御濃くない」ということは確かでないなら「あの至上命令は捗々しい」ということは成り立つ

仮説: 仮に「その弾道ミサイルは受領す」ということは成り立つとすると「あの水平力は懐中するけれどそれは捗々しくない」ということは事実と異なる
1. 仮定2: 以下のように仮定する。その二高は絡まり合わないかあるいはそれは御濃くない
2. 事実11と仮定2から、推論1: "その弾道ミサイルは受領すらない"が導かれる
3. 仮定1: 以下のように仮定する。その弾道ミサイルは受領す
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その二高は絡まり合わないかもしくは御濃くない」ということは成り立たない"が導かれる
6. 推論3と事実12から、推論4: "「あの至上命令は捗々しくない」ということは事実と異なる"が導かれる
7. 推論4と事実9から、推論5: "「あの水平力は懐中するが捗々しくない」ということは真実でない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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