その日本軍政は和魂でないかまたは差しないかもしくは両方ともである
fact1: 仮にその英軍は再統合しないとすると「それは御寂しいししかもそれは太いということはない」ということは事実と異なる fact2: とあるものは不安要因だ fact3: 「その英軍は不安要因である」ということは成り立つ fact4: もしも「「抜け易くない」ということは成り立つ」ものがあるならその英軍は御寂しい一方でそれは太くない fact5: もしもあの覆刻が紛らせるとしたらそれは武家屋敷でないかもしくはノーズガードであるかあるいは両方ともである fact6: なんらかのものが先代でないとすればそれは不安要因であるかあるいは抜け易い fact7: もし何らかの物は再統合するとしたら「和魂であるということはないかまたは差しないかどちらもである」ということは成り立たない fact8: とある物は再統合する fact9: 「その英軍は御寂しくてそれは太い」ということは成り立たない fact10: 仮にこのリニアックが和魂だとするとその日本軍政は和魂でないかまたは差しないかもしくは両方ともである fact11: もし仮にこのリニアックが和魂ならその日本軍政は和魂でないかまたは差すかもしくはどちらもである fact12: もし仮になにかは再統合するし更に不安要因であるならばこのリニアックは和魂である fact13: もしもあの覆刻は武家屋敷でないならば「このリニアックは鍛練しなくて柔らか過ぎるということはない」ということは真実である fact14: 仮に「鍛練しない」ものがあるとすればあの英軍は先代でない fact15: 「抜け易くない」物はある fact16: もしなにかは武家屋敷でないかもしくはノーズガードであるかあるいは両方だとすればそれは武家屋敷でない fact17: あの覆刻は紛らせる
void -> assump1: 以下のように仮定する。その英軍は再統合するということはない; fact1 & assump1 -> int1: 「「その英軍は御寂しいがしかし太くない」ということは成り立たない」ということは真実だ; fact4 & fact15 -> int2: その英軍は御寂しいがしかし太くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その英軍は再統合する; int4 & fact3 -> int5: その英軍が再統合するしその上不安要因である; int5 -> int6: なにがしかの物は再統合するしそれに不安要因だ; int6 & fact12 -> int7: このリニアックは和魂である; int7 & fact10 -> hypothesis;
「その日本軍政は和魂でないかもしくは差しないかあるいは両方である」ということは間違いである
fact19 -> int8: その日本軍政は再統合するとすれば「和魂でないかあるいは差すということはないかあるいは両方だ」ということは誤っている; fact20 -> int9: もし仮にその英軍が先代でないとすれば不安要因であるかもしくはそれは抜け易い; fact18 -> int10: もしもあの覆刻は武家屋敷でないかあるいはノーズガードであるかあるいは両方ともだとすればそれは武家屋敷でない; fact24 & fact21 -> int11: あの覆刻は武家屋敷でないかあるいはノーズガードであるか両方である; int10 & int11 -> int12: あの覆刻は武家屋敷でない; fact23 & int12 -> int13: このリニアックは鍛練するということはなくて更に柔らか過ぎない; int13 -> int14: このリニアックは鍛練しない; int14 -> int15: 「鍛練しない」ものはある; int15 & fact22 -> int16: その英軍は先代であるということはない; int9 & int16 -> int17: その英軍は不安要因であるかもしくは抜け易いかまたは両方だ;
$facts$ = fact1: 仮にその英軍は再統合しないとすると「それは御寂しいししかもそれは太いということはない」ということは事実と異なる fact2: とあるものは不安要因だ fact3: 「その英軍は不安要因である」ということは成り立つ fact4: もしも「「抜け易くない」ということは成り立つ」ものがあるならその英軍は御寂しい一方でそれは太くない fact5: もしもあの覆刻が紛らせるとしたらそれは武家屋敷でないかもしくはノーズガードであるかあるいは両方ともである fact6: なんらかのものが先代でないとすればそれは不安要因であるかあるいは抜け易い fact7: もし何らかの物は再統合するとしたら「和魂であるということはないかまたは差しないかどちらもである」ということは成り立たない fact8: とある物は再統合する fact9: 「その英軍は御寂しくてそれは太い」ということは成り立たない fact10: 仮にこのリニアックが和魂だとするとその日本軍政は和魂でないかまたは差しないかもしくは両方ともである fact11: もし仮にこのリニアックが和魂ならその日本軍政は和魂でないかまたは差すかもしくはどちらもである fact12: もし仮になにかは再統合するし更に不安要因であるならばこのリニアックは和魂である fact13: もしもあの覆刻は武家屋敷でないならば「このリニアックは鍛練しなくて柔らか過ぎるということはない」ということは真実である fact14: 仮に「鍛練しない」ものがあるとすればあの英軍は先代でない fact15: 「抜け易くない」物はある fact16: もしなにかは武家屋敷でないかもしくはノーズガードであるかあるいは両方だとすればそれは武家屋敷でない fact17: あの覆刻は紛らせる ; $hypothesis$ = その日本軍政は和魂でないかまたは差しないかもしくは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。その英軍は再統合するということはない; fact1 & assump1 -> int1: 「「その英軍は御寂しいがしかし太くない」ということは成り立たない」ということは真実だ; fact4 & fact15 -> int2: その英軍は御寂しいがしかし太くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その英軍は再統合する; int4 & fact3 -> int5: その英軍が再統合するしその上不安要因である; int5 -> int6: なにがしかの物は再統合するしそれに不安要因だ; int6 & fact12 -> int7: このリニアックは和魂である; int7 & fact10 -> hypothesis; __PROVED__
事実1: 仮にその英軍は再統合しないとすると「それは御寂しいししかもそれは太いということはない」ということは事実と異なる
事実2: とあるものは不安要因だ
事実3: 「その英軍は不安要因である」ということは成り立つ
事実4: もしも「「抜け易くない」ということは成り立つ」ものがあるならその英軍は御寂しい一方でそれは太くない
事実5: もしもあの覆刻が紛らせるとしたらそれは武家屋敷でないかもしくはノーズガードであるかあるいは両方ともである
事実6: なんらかのものが先代でないとすればそれは不安要因であるかあるいは抜け易い
事実7: もし何らかの物は再統合するとしたら「和魂であるということはないかまたは差しないかどちらもである」ということは成り立たない
事実8: とある物は再統合する
事実9: 「その英軍は御寂しくてそれは太い」ということは成り立たない
事実10: 仮にこのリニアックが和魂だとするとその日本軍政は和魂でないかまたは差しないかもしくは両方ともである
事実11: もし仮にこのリニアックが和魂ならその日本軍政は和魂でないかまたは差すかもしくはどちらもである
事実12: もし仮になにかは再統合するし更に不安要因であるならばこのリニアックは和魂である
事実13: もしもあの覆刻は武家屋敷でないならば「このリニアックは鍛練しなくて柔らか過ぎるということはない」ということは真実である
事実14: 仮に「鍛練しない」ものがあるとすればあの英軍は先代でない
事実15: 「抜け易くない」物はある
事実16: もしなにかは武家屋敷でないかもしくはノーズガードであるかあるいは両方だとすればそれは武家屋敷でない
事実17: あの覆刻は紛らせる

仮説: その日本軍政は和魂でないかまたは差しないかもしくは両方ともである
1. 仮定1: 以下のように仮定する。その英軍は再統合するということはない
2. 事実1と仮定1から、推論1: "「「その英軍は御寂しいがしかし太くない」ということは成り立たない」ということは真実だ"が導かれる
3. 事実4と事実15から、推論2: "その英軍は御寂しいがしかし太くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その英軍は再統合する"が導かれる
6. 推論4と事実3から、推論5: "その英軍が再統合するしその上不安要因である"が導かれる
7. 推論5から、推論6: "なにがしかの物は再統合するしそれに不安要因だ"が導かれる
8. 推論6と事実12から、推論7: "このリニアックは和魂である"が導かれる
9. 推論7と事実10から、仮説が導かれる

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