このポストモダニズムは最終決定である
fact1: 仮にあの全変動は中期的視点であるならそれはリューネブルガー・ピルゼナーである fact2: もし仮に「このポストモダニズムは作業し易くない」ということは正しいならば「その空港使用料は民王だが疲労解消術でない」ということは誤っている fact3: リューネブルガー・ピルゼナーは確認し難くないしおまけに最終決定でない fact4: もしその空港使用料が民王でないとするとこのポストモダニズムは民王だがしかし金属屑でない fact5: もし仮になんらかのものが疲労解消術でなくて加えて作業し易くないならその空港使用料は民王でない fact6: もしもあの鑑賞が作業し易くないとしたらこのポストモダニズムは作業し易くない fact7: 「あの全変動は中期的視点だ」ということは成り立つ fact8: 「その空港使用料は民王だ一方で疲労解消術でない」ということは間違いであるとしたらこの政道は疲労解消術である fact9: 「疲労解消術は感心するということはなくてそれに開発地でない」ということは確かだ fact10: 仮に民王が金属屑でないとすればそれは最終決定である fact11: あの安息は疲労解消術でなくてかつ作業し易くない fact12: 作業し易いものは最終決定でなくてしかも疲労解消術だということはない
fact11 -> int1: 「疲労解消術でないし作業し易くない」ものはある; int1 & fact5 -> int2: その空港使用料は民王でない; int2 & fact4 -> int3: このポストモダニズムは民王であるがしかし金属屑でない; fact10 -> int4: もしこのポストモダニズムは民王だが金属屑でないとすれば最終決定である; int3 & int4 -> hypothesis;
この政道は感心しないし開発地でない
fact18 -> int5: 仮に「この政道は疲労解消術である」ということは真実だとすると感心しないしおまけにそれは開発地でない; fact19 -> int6: もしもあの全変動がリューネブルガー・ピルゼナーならば確認し難くないし最終決定でない; fact17 & fact14 -> int7: 「あの全変動はリューネブルガー・ピルゼナーである」ということは真実だ; int6 & int7 -> int8: あの全変動は確認し難いということはなくてかつ最終決定でない; int8 -> int9: なにがしかのものは確認し難くないし最終決定でない;
$facts$ = fact1: 仮にあの全変動は中期的視点であるならそれはリューネブルガー・ピルゼナーである fact2: もし仮に「このポストモダニズムは作業し易くない」ということは正しいならば「その空港使用料は民王だが疲労解消術でない」ということは誤っている fact3: リューネブルガー・ピルゼナーは確認し難くないしおまけに最終決定でない fact4: もしその空港使用料が民王でないとするとこのポストモダニズムは民王だがしかし金属屑でない fact5: もし仮になんらかのものが疲労解消術でなくて加えて作業し易くないならその空港使用料は民王でない fact6: もしもあの鑑賞が作業し易くないとしたらこのポストモダニズムは作業し易くない fact7: 「あの全変動は中期的視点だ」ということは成り立つ fact8: 「その空港使用料は民王だ一方で疲労解消術でない」ということは間違いであるとしたらこの政道は疲労解消術である fact9: 「疲労解消術は感心するということはなくてそれに開発地でない」ということは確かだ fact10: 仮に民王が金属屑でないとすればそれは最終決定である fact11: あの安息は疲労解消術でなくてかつ作業し易くない fact12: 作業し易いものは最終決定でなくてしかも疲労解消術だということはない ; $hypothesis$ = このポストモダニズムは最終決定である ; $proof$ = 
fact11 -> int1: 「疲労解消術でないし作業し易くない」ものはある; int1 & fact5 -> int2: その空港使用料は民王でない; int2 & fact4 -> int3: このポストモダニズムは民王であるがしかし金属屑でない; fact10 -> int4: もしこのポストモダニズムは民王だが金属屑でないとすれば最終決定である; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にあの全変動は中期的視点であるならそれはリューネブルガー・ピルゼナーである
事実2: もし仮に「このポストモダニズムは作業し易くない」ということは正しいならば「その空港使用料は民王だが疲労解消術でない」ということは誤っている
事実3: リューネブルガー・ピルゼナーは確認し難くないしおまけに最終決定でない
事実4: もしその空港使用料が民王でないとするとこのポストモダニズムは民王だがしかし金属屑でない
事実5: もし仮になんらかのものが疲労解消術でなくて加えて作業し易くないならその空港使用料は民王でない
事実6: もしもあの鑑賞が作業し易くないとしたらこのポストモダニズムは作業し易くない
事実7: 「あの全変動は中期的視点だ」ということは成り立つ
事実8: 「その空港使用料は民王だ一方で疲労解消術でない」ということは間違いであるとしたらこの政道は疲労解消術である
事実9: 「疲労解消術は感心するということはなくてそれに開発地でない」ということは確かだ
事実10: 仮に民王が金属屑でないとすればそれは最終決定である
事実11: あの安息は疲労解消術でなくてかつ作業し易くない
事実12: 作業し易いものは最終決定でなくてしかも疲労解消術だということはない

仮説: このポストモダニズムは最終決定である
1. 事実11から、推論1: "「疲労解消術でないし作業し易くない」ものはある"が導かれる
2. 推論1と事実5から、推論2: "その空港使用料は民王でない"が導かれる
3. 推論2と事実4から、推論3: "このポストモダニズムは民王であるがしかし金属屑でない"が導かれる
4. 事実10から、推論4: "もしこのポストモダニズムは民王だが金属屑でないとすれば最終決定である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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