あの二検定は恐ろしくない
fact1: あのフレーム材質は時効でない fact2: 仮にあの初弾が感じ難いとすればそれは立て難い fact3: あのミッドウェイ海戦は詳しいかまたは親しみ易いか両方である fact4: 「あのフレーム材質は浄化するけれど転た寝しない」ということは嘘ならその諸団体は売却決定手続きだ fact5: なんらかのものが転た寝するなら立て難い fact6: もしあの初弾が感じ難いとすればあのミッドウェイ海戦は立て難い fact7: 仮にあのミッドウェイ海戦は売却決定手続きでないならば「それは詳しくないかもしくはそれは親しみ易いかあるいは両方である」ということは嘘だ fact8: もし仮にその諸団体が規定しない一方で洋風建築だとすればあの二検定は恐ろしくない fact9: 仮にあの初弾は辟易するし立て難いならばそれは規定しない fact10: あの二検定は感じ難くない fact11: もしもあのミッドウェイ海戦が辟易するし加えて立て難いならばあの二検定は辟易しない fact12: もしも「あのミッドウェイ海戦は認め得ない」ということは誤りでないとしたらそれは詳しくないかまたは親しみ易いか両方だ fact13: あの初弾は感じ難いかあるいはそれは転た寝するかまたは両方ともだ fact14: もしもあの初弾が規定しないとすればあの諸団体は規定しなくて加えて洋風建築でない fact15: もし仮に「あのミッドウェイ海戦は規定する一方で洋風建築でない」ということは成り立たないならそれは辟易する fact16: もしあのフレーム材質は時効でないとすると「それは浄化するしおまけに転た寝しない」ということは偽だ fact17: あのミッドウェイ海戦は売却決定手続きでない fact18: もしあのミッドウェイ海戦は認め得るとしたら「あの初弾は辟易する」ということは事実だ fact19: もしもその諸団体が規定しないしまた洋風建築だということはないとしたらあの二検定は恐ろしくない fact20: もしあの初弾が規定しないならその諸団体は洋風建築だということはない fact21: もしなにかは辟易しないならそれは認め得るということはないけれど恐ろしい fact22: もし仮に「「売却決定手続きである」ということは偽だということはない」物はあるとすれば「「あのミッドウェイ海戦は規定するがそれは洋風建築でない」ということは成り立たない」ということは正しい
void -> assump1: 以下のように仮定する。あのミッドウェイ海戦は認め得ない; fact12 & assump1 -> int1: あのミッドウェイ海戦は詳しくないか親しみ易い; fact7 & fact17 -> int2: 「「あのミッドウェイ海戦は詳しいということはないか親しみ易いかまたはどちらもである」ということは間違っている」ということは真実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのミッドウェイ海戦は認め得る; int4 & fact18 -> int5: あの初弾は辟易する; fact5 -> int6: もしあの初弾が転た寝するとすれば立て難い; int6 & fact13 & fact2 -> int7: あの初弾は立て難い; int5 & int7 -> int8: あの初弾は辟易するし立て難い; int8 & fact9 -> int9: あの初弾は規定しない; int9 & fact14 -> int10: その諸団体は規定しないしかつそれは洋風建築でない; int10 & fact19 -> hypothesis;
「あの二検定は恐ろしい」ということは成り立つ
fact29 -> int11: あの二検定は辟易するということはないとすると「認め得ないけれど恐ろしい」ということは本当だ; fact24 & fact26 -> int12: 「あのフレーム材質は浄化する一方で転た寝しない」ということは成り立たない; fact27 & int12 -> int13: その諸団体は売却決定手続きだ; int13 -> int14: 「売却決定手続きである」ものはある; int14 & fact30 -> int15: 「あのミッドウェイ海戦は規定するが洋風建築でない」ということは事実と異なる; fact28 & int15 -> int16: 「あのミッドウェイ海戦は辟易する」ということは成り立つ;
$facts$ = fact1: あのフレーム材質は時効でない fact2: 仮にあの初弾が感じ難いとすればそれは立て難い fact3: あのミッドウェイ海戦は詳しいかまたは親しみ易いか両方である fact4: 「あのフレーム材質は浄化するけれど転た寝しない」ということは嘘ならその諸団体は売却決定手続きだ fact5: なんらかのものが転た寝するなら立て難い fact6: もしあの初弾が感じ難いとすればあのミッドウェイ海戦は立て難い fact7: 仮にあのミッドウェイ海戦は売却決定手続きでないならば「それは詳しくないかもしくはそれは親しみ易いかあるいは両方である」ということは嘘だ fact8: もし仮にその諸団体が規定しない一方で洋風建築だとすればあの二検定は恐ろしくない fact9: 仮にあの初弾は辟易するし立て難いならばそれは規定しない fact10: あの二検定は感じ難くない fact11: もしもあのミッドウェイ海戦が辟易するし加えて立て難いならばあの二検定は辟易しない fact12: もしも「あのミッドウェイ海戦は認め得ない」ということは誤りでないとしたらそれは詳しくないかまたは親しみ易いか両方だ fact13: あの初弾は感じ難いかあるいはそれは転た寝するかまたは両方ともだ fact14: もしもあの初弾が規定しないとすればあの諸団体は規定しなくて加えて洋風建築でない fact15: もし仮に「あのミッドウェイ海戦は規定する一方で洋風建築でない」ということは成り立たないならそれは辟易する fact16: もしあのフレーム材質は時効でないとすると「それは浄化するしおまけに転た寝しない」ということは偽だ fact17: あのミッドウェイ海戦は売却決定手続きでない fact18: もしあのミッドウェイ海戦は認め得るとしたら「あの初弾は辟易する」ということは事実だ fact19: もしもその諸団体が規定しないしまた洋風建築だということはないとしたらあの二検定は恐ろしくない fact20: もしあの初弾が規定しないならその諸団体は洋風建築だということはない fact21: もしなにかは辟易しないならそれは認め得るということはないけれど恐ろしい fact22: もし仮に「「売却決定手続きである」ということは偽だということはない」物はあるとすれば「「あのミッドウェイ海戦は規定するがそれは洋風建築でない」ということは成り立たない」ということは正しい ; $hypothesis$ = あの二検定は恐ろしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのミッドウェイ海戦は認め得ない; fact12 & assump1 -> int1: あのミッドウェイ海戦は詳しくないか親しみ易い; fact7 & fact17 -> int2: 「「あのミッドウェイ海戦は詳しいということはないか親しみ易いかまたはどちらもである」ということは間違っている」ということは真実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのミッドウェイ海戦は認め得る; int4 & fact18 -> int5: あの初弾は辟易する; fact5 -> int6: もしあの初弾が転た寝するとすれば立て難い; int6 & fact13 & fact2 -> int7: あの初弾は立て難い; int5 & int7 -> int8: あの初弾は辟易するし立て難い; int8 & fact9 -> int9: あの初弾は規定しない; int9 & fact14 -> int10: その諸団体は規定しないしかつそれは洋風建築でない; int10 & fact19 -> hypothesis; __PROVED__
事実1: あのフレーム材質は時効でない
事実2: 仮にあの初弾が感じ難いとすればそれは立て難い
事実3: あのミッドウェイ海戦は詳しいかまたは親しみ易いか両方である
事実4: 「あのフレーム材質は浄化するけれど転た寝しない」ということは嘘ならその諸団体は売却決定手続きだ
事実5: なんらかのものが転た寝するなら立て難い
事実6: もしあの初弾が感じ難いとすればあのミッドウェイ海戦は立て難い
事実7: 仮にあのミッドウェイ海戦は売却決定手続きでないならば「それは詳しくないかもしくはそれは親しみ易いかあるいは両方である」ということは嘘だ
事実8: もし仮にその諸団体が規定しない一方で洋風建築だとすればあの二検定は恐ろしくない
事実9: 仮にあの初弾は辟易するし立て難いならばそれは規定しない
事実10: あの二検定は感じ難くない
事実11: もしもあのミッドウェイ海戦が辟易するし加えて立て難いならばあの二検定は辟易しない
事実12: もしも「あのミッドウェイ海戦は認め得ない」ということは誤りでないとしたらそれは詳しくないかまたは親しみ易いか両方だ
事実13: あの初弾は感じ難いかあるいはそれは転た寝するかまたは両方ともだ
事実14: もしもあの初弾が規定しないとすればあの諸団体は規定しなくて加えて洋風建築でない
事実15: もし仮に「あのミッドウェイ海戦は規定する一方で洋風建築でない」ということは成り立たないならそれは辟易する
事実16: もしあのフレーム材質は時効でないとすると「それは浄化するしおまけに転た寝しない」ということは偽だ
事実17: あのミッドウェイ海戦は売却決定手続きでない
事実18: もしあのミッドウェイ海戦は認め得るとしたら「あの初弾は辟易する」ということは事実だ
事実19: もしもその諸団体が規定しないしまた洋風建築だということはないとしたらあの二検定は恐ろしくない
事実20: もしあの初弾が規定しないならその諸団体は洋風建築だということはない
事実21: もしなにかは辟易しないならそれは認め得るということはないけれど恐ろしい
事実22: もし仮に「「売却決定手続きである」ということは偽だということはない」物はあるとすれば「「あのミッドウェイ海戦は規定するがそれは洋風建築でない」ということは成り立たない」ということは正しい

仮説: あの二検定は恐ろしくない
1. 仮定1: 以下のように仮定する。あのミッドウェイ海戦は認め得ない
2. 事実12と仮定1から、推論1: "あのミッドウェイ海戦は詳しくないか親しみ易い"が導かれる
3. 事実7と事実17から、推論2: "「「あのミッドウェイ海戦は詳しいということはないか親しみ易いかまたはどちらもである」ということは間違っている」ということは真実である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのミッドウェイ海戦は認め得る"が導かれる
6. 推論4と事実18から、推論5: "あの初弾は辟易する"が導かれる
7. 事実5から、推論6: "もしあの初弾が転た寝するとすれば立て難い"が導かれる
8. 推論6と事実13と事実2から、推論7: "あの初弾は立て難い"が導かれる
9. 推論5と推論7から、推論8: "あの初弾は辟易するし立て難い"が導かれる
10. 推論8と事実9から、推論9: "あの初弾は規定しない"が導かれる
11. 推論9と事実14から、推論10: "その諸団体は規定しないしかつそれは洋風建築でない"が導かれる
12. 推論10と事実19から、仮説が導かれる

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