このアタッシェケースが間違え易いならこの巴里週報は老画家でないけど出席出来る
fact1: もし仮にあの門屋家が誤り無いならばこの巴里週報はアクセスし易くないかあるいはそれは捕捉するかあるいは両方だ fact2: 仮に「あの門屋家は引き出しケースだし加えて捕捉する」ということは間違いだとすれば「この巴里週報は老画家でない」ということは真実だ fact3: 仮にあの門屋家が捕捉しないならこの巴里週報は老画家でない fact4: アクセスし易い物は出席出来る fact5: もしもあのデフォルトゲートウェイは引き出しケースでないなら「あの門屋家が引き出しケースだしその上捕捉する」ということは間違いである fact6: 仮にその血涙が誤り無いとすればあの巴里週報はアクセスし易い fact7: その血涙は誤り無い fact8: 仮にこのアタッシェケースは受け入れ難くないか心置き無いかもしくはどちらもであるとすれば間違え易い fact9: 受け入れ難くないかもしくは心置き無いかあるいは両方な物は間違え易くない fact10: もし仮に「あのデフォルトゲートウェイは引き出しケースであるかまたは受け入れ難くないか両方ともだ」ということは成り立たないならばあの経済的条件は受け入れ難くない fact11: もし「あの門屋家は心置き無くてかつ引き出しケースである」ということは成り立たないとするとこのアタッシェケースは捕捉しない fact12: 受け入れ難くないものは間違え易くない fact13: 仮にあのデフォルトゲートウェイが引き出しケースならこのアタッシェケースは受け入れ難くないか心置き無い
void -> assump1: 以下のように仮定する。あのデフォルトゲートウェイは引き出しケースだ; fact13 & assump1 -> int1: このアタッシェケースは受け入れ難くないかそれは心置き無い; fact9 -> int2: もしこのアタッシェケースが受け入れ難くないかそれが心置き無いとするとそれは間違え易くない; int1 & int2 -> int3: このアタッシェケースは間違え易くない; void -> assump2: 以下のように仮定する。このアタッシェケースは間違え易い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのデフォルトゲートウェイは引き出しケースでない; int5 & fact5 -> int6: 「あの門屋家は引き出しケースだし捕捉する」ということは成り立たない; int6 & fact2 -> int7: この巴里週報は老画家であるということはない; fact4 -> int8: 仮にこの巴里週報はアクセスし易いなら「出席出来る」ということは真実である; fact7 & fact6 -> int9: この巴里週報はアクセスし易い; int8 & int9 -> int10: この巴里週報は出席出来る; int7 & int10 -> int11: この巴里週報は老画家でない一方でそれは出席出来る; [assump2] & int11 -> hypothesis;
あの経済的条件は受け入れ難くない
$facts$ = fact1: もし仮にあの門屋家が誤り無いならばこの巴里週報はアクセスし易くないかあるいはそれは捕捉するかあるいは両方だ fact2: 仮に「あの門屋家は引き出しケースだし加えて捕捉する」ということは間違いだとすれば「この巴里週報は老画家でない」ということは真実だ fact3: 仮にあの門屋家が捕捉しないならこの巴里週報は老画家でない fact4: アクセスし易い物は出席出来る fact5: もしもあのデフォルトゲートウェイは引き出しケースでないなら「あの門屋家が引き出しケースだしその上捕捉する」ということは間違いである fact6: 仮にその血涙が誤り無いとすればあの巴里週報はアクセスし易い fact7: その血涙は誤り無い fact8: 仮にこのアタッシェケースは受け入れ難くないか心置き無いかもしくはどちらもであるとすれば間違え易い fact9: 受け入れ難くないかもしくは心置き無いかあるいは両方な物は間違え易くない fact10: もし仮に「あのデフォルトゲートウェイは引き出しケースであるかまたは受け入れ難くないか両方ともだ」ということは成り立たないならばあの経済的条件は受け入れ難くない fact11: もし「あの門屋家は心置き無くてかつ引き出しケースである」ということは成り立たないとするとこのアタッシェケースは捕捉しない fact12: 受け入れ難くないものは間違え易くない fact13: 仮にあのデフォルトゲートウェイが引き出しケースならこのアタッシェケースは受け入れ難くないか心置き無い ; $hypothesis$ = このアタッシェケースが間違え易いならこの巴里週報は老画家でないけど出席出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あのデフォルトゲートウェイは引き出しケースだ; fact13 & assump1 -> int1: このアタッシェケースは受け入れ難くないかそれは心置き無い; fact9 -> int2: もしこのアタッシェケースが受け入れ難くないかそれが心置き無いとするとそれは間違え易くない; int1 & int2 -> int3: このアタッシェケースは間違え易くない; void -> assump2: 以下のように仮定する。このアタッシェケースは間違え易い; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのデフォルトゲートウェイは引き出しケースでない; int5 & fact5 -> int6: 「あの門屋家は引き出しケースだし捕捉する」ということは成り立たない; int6 & fact2 -> int7: この巴里週報は老画家であるということはない; fact4 -> int8: 仮にこの巴里週報はアクセスし易いなら「出席出来る」ということは真実である; fact7 & fact6 -> int9: この巴里週報はアクセスし易い; int8 & int9 -> int10: この巴里週報は出席出来る; int7 & int10 -> int11: この巴里週報は老画家でない一方でそれは出席出来る; [assump2] & int11 -> hypothesis; __PROVED__
事実1: もし仮にあの門屋家が誤り無いならばこの巴里週報はアクセスし易くないかあるいはそれは捕捉するかあるいは両方だ
事実2: 仮に「あの門屋家は引き出しケースだし加えて捕捉する」ということは間違いだとすれば「この巴里週報は老画家でない」ということは真実だ
事実3: 仮にあの門屋家が捕捉しないならこの巴里週報は老画家でない
事実4: アクセスし易い物は出席出来る
事実5: もしもあのデフォルトゲートウェイは引き出しケースでないなら「あの門屋家が引き出しケースだしその上捕捉する」ということは間違いである
事実6: 仮にその血涙が誤り無いとすればあの巴里週報はアクセスし易い
事実7: その血涙は誤り無い
事実8: 仮にこのアタッシェケースは受け入れ難くないか心置き無いかもしくはどちらもであるとすれば間違え易い
事実9: 受け入れ難くないかもしくは心置き無いかあるいは両方な物は間違え易くない
事実10: もし仮に「あのデフォルトゲートウェイは引き出しケースであるかまたは受け入れ難くないか両方ともだ」ということは成り立たないならばあの経済的条件は受け入れ難くない
事実11: もし「あの門屋家は心置き無くてかつ引き出しケースである」ということは成り立たないとするとこのアタッシェケースは捕捉しない
事実12: 受け入れ難くないものは間違え易くない
事実13: 仮にあのデフォルトゲートウェイが引き出しケースならこのアタッシェケースは受け入れ難くないか心置き無い

仮説: このアタッシェケースが間違え易いならこの巴里週報は老画家でないけど出席出来る
1. 仮定1: 以下のように仮定する。あのデフォルトゲートウェイは引き出しケースだ
2. 事実13と仮定1から、推論1: "このアタッシェケースは受け入れ難くないかそれは心置き無い"が導かれる
3. 事実9から、推論2: "もしこのアタッシェケースが受け入れ難くないかそれが心置き無いとするとそれは間違え易くない"が導かれる
4. 推論1と推論2から、推論3: "このアタッシェケースは間違え易くない"が導かれる
5. 仮定2: 以下のように仮定する。このアタッシェケースは間違え易い
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あのデフォルトゲートウェイは引き出しケースでない"が導かれる
8. 推論5と事実5から、推論6: "「あの門屋家は引き出しケースだし捕捉する」ということは成り立たない"が導かれる
9. 推論6と事実2から、推論7: "この巴里週報は老画家であるということはない"が導かれる
10. 事実4から、推論8: "仮にこの巴里週報はアクセスし易いなら「出席出来る」ということは真実である"が導かれる
11. 事実7と事実6から、推論9: "この巴里週報はアクセスし易い"が導かれる
12. 推論8と推論9から、推論10: "この巴里週報は出席出来る"が導かれる
13. 推論7と推論10から、推論11: "この巴里週報は老画家でない一方でそれは出席出来る"が導かれる
14. [仮定2]と推論11から、仮説が導かれる

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