この元彼は鍛え抜く
fact1: もし「その大ブルジョアジーは現実化だ」ということは真実ならこの攻略法は各店舗単位である fact2: もし「献呈しない」物はあるなら「この攻略法は各店舗単位でなくてその上高ぶり過ぎない」ということは事実と異なる fact3: 仮にその大ブルジョアジーが各店舗単位であるとしたらこの元彼は鍛え抜く fact4: もしも「その大ブルジョアジーは出会い易いけれど逃れ難くない」ということは事実でないならこのピーター・アイゼンマンは逃れ難くない fact5: このピーター・アイゼンマンは逃れ難い fact6: もし仮にこのピーター・アイゼンマンが現実化だがしかし逃れ難くないとするとこの元彼は鍛え抜かない fact7: その大ブルジョアジーは捩じ上げないとすると「成功し易くて加えて搬出する」ということは事実である fact8: 現実化は高ぶり過ぎる fact9: なにかは成功し易いならば「それは出会い易いがしかし逃れ難くない」ということは事実と異なる fact10: もしも「「自賛するということはないがしかし献呈する」ということは誤っている」物はあるとしたら「このグローバル・ガバナンスは献呈しない」ということは成り立つ fact11: 「この元彼は各店舗単位だ」ということは嘘でない fact12: もしも「この攻略法は高ぶり過ぎる」ということは成り立てば「その大ブルジョアジーは各店舗単位だ」ということは間違いだということはない fact13: もしも「この攻略法は各店舗単位でなくて高ぶり過ぎない」ということは間違いであるならこのピーター・アイゼンマンは現実化である fact14: 「その内的直観は自賛しない一方で献呈する」ということは間違いだ fact15: 「この攻略法は逃れ難い」ということは成り立つ fact16: 「もしもこのピーター・アイゼンマンが逃れ難いとしたらこの攻略法は現実化だ」ということは正しい
fact16 & fact5 -> int1: この攻略法は現実化である; fact8 -> int2: もしもこの攻略法が現実化だとすればそれは高ぶり過ぎる; int1 & int2 -> int3: この攻略法は高ぶり過ぎる; int3 & fact12 -> int4: その大ブルジョアジーは各店舗単位である; int4 & fact3 -> hypothesis;
「この元彼は鍛え抜かない」ということは真実である
fact21 -> int5: 「「自賛しなくて献呈する」ということは誤りである」物はある; int5 & fact19 -> int6: このグローバル・ガバナンスは献呈しない; int6 -> int7: 「献呈しない」ものはある; int7 & fact20 -> int8: 「この攻略法は各店舗単位でないし高ぶり過ぎるということはない」ということは間違っている; fact24 & int8 -> int9: このピーター・アイゼンマンは現実化である; fact17 -> int10: もしその大ブルジョアジーは成功し易いとしたら「それは出会い易いけど逃れ難くない」ということは成り立つということはない;
$facts$ = fact1: もし「その大ブルジョアジーは現実化だ」ということは真実ならこの攻略法は各店舗単位である fact2: もし「献呈しない」物はあるなら「この攻略法は各店舗単位でなくてその上高ぶり過ぎない」ということは事実と異なる fact3: 仮にその大ブルジョアジーが各店舗単位であるとしたらこの元彼は鍛え抜く fact4: もしも「その大ブルジョアジーは出会い易いけれど逃れ難くない」ということは事実でないならこのピーター・アイゼンマンは逃れ難くない fact5: このピーター・アイゼンマンは逃れ難い fact6: もし仮にこのピーター・アイゼンマンが現実化だがしかし逃れ難くないとするとこの元彼は鍛え抜かない fact7: その大ブルジョアジーは捩じ上げないとすると「成功し易くて加えて搬出する」ということは事実である fact8: 現実化は高ぶり過ぎる fact9: なにかは成功し易いならば「それは出会い易いがしかし逃れ難くない」ということは事実と異なる fact10: もしも「「自賛するということはないがしかし献呈する」ということは誤っている」物はあるとしたら「このグローバル・ガバナンスは献呈しない」ということは成り立つ fact11: 「この元彼は各店舗単位だ」ということは嘘でない fact12: もしも「この攻略法は高ぶり過ぎる」ということは成り立てば「その大ブルジョアジーは各店舗単位だ」ということは間違いだということはない fact13: もしも「この攻略法は各店舗単位でなくて高ぶり過ぎない」ということは間違いであるならこのピーター・アイゼンマンは現実化である fact14: 「その内的直観は自賛しない一方で献呈する」ということは間違いだ fact15: 「この攻略法は逃れ難い」ということは成り立つ fact16: 「もしもこのピーター・アイゼンマンが逃れ難いとしたらこの攻略法は現実化だ」ということは正しい ; $hypothesis$ = この元彼は鍛え抜く ; $proof$ = 
fact16 & fact5 -> int1: この攻略法は現実化である; fact8 -> int2: もしもこの攻略法が現実化だとすればそれは高ぶり過ぎる; int1 & int2 -> int3: この攻略法は高ぶり過ぎる; int3 & fact12 -> int4: その大ブルジョアジーは各店舗単位である; int4 & fact3 -> hypothesis; __PROVED__
事実1: もし「その大ブルジョアジーは現実化だ」ということは真実ならこの攻略法は各店舗単位である
事実2: もし「献呈しない」物はあるなら「この攻略法は各店舗単位でなくてその上高ぶり過ぎない」ということは事実と異なる
事実3: 仮にその大ブルジョアジーが各店舗単位であるとしたらこの元彼は鍛え抜く
事実4: もしも「その大ブルジョアジーは出会い易いけれど逃れ難くない」ということは事実でないならこのピーター・アイゼンマンは逃れ難くない
事実5: このピーター・アイゼンマンは逃れ難い
事実6: もし仮にこのピーター・アイゼンマンが現実化だがしかし逃れ難くないとするとこの元彼は鍛え抜かない
事実7: その大ブルジョアジーは捩じ上げないとすると「成功し易くて加えて搬出する」ということは事実である
事実8: 現実化は高ぶり過ぎる
事実9: なにかは成功し易いならば「それは出会い易いがしかし逃れ難くない」ということは事実と異なる
事実10: もしも「「自賛するということはないがしかし献呈する」ということは誤っている」物はあるとしたら「このグローバル・ガバナンスは献呈しない」ということは成り立つ
事実11: 「この元彼は各店舗単位だ」ということは嘘でない
事実12: もしも「この攻略法は高ぶり過ぎる」ということは成り立てば「その大ブルジョアジーは各店舗単位だ」ということは間違いだということはない
事実13: もしも「この攻略法は各店舗単位でなくて高ぶり過ぎない」ということは間違いであるならこのピーター・アイゼンマンは現実化である
事実14: 「その内的直観は自賛しない一方で献呈する」ということは間違いだ
事実15: 「この攻略法は逃れ難い」ということは成り立つ
事実16: 「もしもこのピーター・アイゼンマンが逃れ難いとしたらこの攻略法は現実化だ」ということは正しい

仮説: この元彼は鍛え抜く
1. 事実16と事実5から、推論1: "この攻略法は現実化である"が導かれる
2. 事実8から、推論2: "もしもこの攻略法が現実化だとすればそれは高ぶり過ぎる"が導かれる
3. 推論1と推論2から、推論3: "この攻略法は高ぶり過ぎる"が導かれる
4. 推論3と事実12から、推論4: "その大ブルジョアジーは各店舗単位である"が導かれる
5. 推論4と事実3から、仮説が導かれる

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