その再生能力は持ち合うということはないか経済関係であるか両方ともである
fact1: この反骨精神は付け為さる fact2: 何もかもは事務局でない fact3: もし「そのクールさは経済関係であるということはないかもしくはそれは慈しむ」ということは成り立たないなら舗装でない fact4: その再生能力は持ち合うかまたは経済関係であるかまたは両方ともである fact5: 仮になんらかのものは事務局でないとするとそれは当たり難くない一方で割れ難い fact6: その再生能力は付け為さる fact7: もし「その再生能力は持ち合うかあるいは経済関係である」ということは成り立たないとすればそれは付け為さらない fact8: もしも「「その再生能力は持ち合わないかまたは経済関係であるか両方ともである」ということは成り立つ」ということは成り立たないとすればそれは付け為さらない fact9: 「その再生能力は持ち合うということはない」ということは誤っている
void -> assump1: 以下のように仮定する。「その再生能力は持ち合わないか経済関係だ」ということは成り立たない; fact8 & assump1 -> int1: その再生能力は付け為さらない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} v {AB}{a}); fact8 & assump1 -> int1: ¬{B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis;
その席順は付け為さらない
fact11 -> int3: その再生能力は事務局でない; fact10 -> int4: もしもその再生能力が事務局であるということはないとしたらそれが当たり難くないしさらにそれは割れ難い; int3 & int4 -> int5: その再生能力は当たり難くないがしかし割れ難い; int5 -> int6: 全ては当たり難いということはないが割れ難い; int6 -> int7: その席順は当たり難いということはないけどそれは割れ難い; int7 -> int8: その席順は当たり難くない;
$facts$ = fact1: この反骨精神は付け為さる fact2: 何もかもは事務局でない fact3: もし「そのクールさは経済関係であるということはないかもしくはそれは慈しむ」ということは成り立たないなら舗装でない fact4: その再生能力は持ち合うかまたは経済関係であるかまたは両方ともである fact5: 仮になんらかのものは事務局でないとするとそれは当たり難くない一方で割れ難い fact6: その再生能力は付け為さる fact7: もし「その再生能力は持ち合うかあるいは経済関係である」ということは成り立たないとすればそれは付け為さらない fact8: もしも「「その再生能力は持ち合わないかまたは経済関係であるか両方ともである」ということは成り立つ」ということは成り立たないとすればそれは付け為さらない fact9: 「その再生能力は持ち合うということはない」ということは誤っている ; $hypothesis$ = その再生能力は持ち合うということはないか経済関係であるか両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。「その再生能力は持ち合わないか経済関係だ」ということは成り立たない; fact8 & assump1 -> int1: その再生能力は付け為さらない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この反骨精神は付け為さる
事実2: 何もかもは事務局でない
事実3: もし「そのクールさは経済関係であるということはないかもしくはそれは慈しむ」ということは成り立たないなら舗装でない
事実4: その再生能力は持ち合うかまたは経済関係であるかまたは両方ともである
事実5: 仮になんらかのものは事務局でないとするとそれは当たり難くない一方で割れ難い
事実6: その再生能力は付け為さる
事実7: もし「その再生能力は持ち合うかあるいは経済関係である」ということは成り立たないとすればそれは付け為さらない
事実8: もしも「「その再生能力は持ち合わないかまたは経済関係であるか両方ともである」ということは成り立つ」ということは成り立たないとすればそれは付け為さらない
事実9: 「その再生能力は持ち合うということはない」ということは誤っている

仮説: その再生能力は持ち合うということはないか経済関係であるか両方ともである
1. 仮定1: 以下のように仮定する。「その再生能力は持ち合わないか経済関係だ」ということは成り立たない
2. 事実8と仮定1から、推論1: "その再生能力は付け為さらない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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