もしあの僕達皆が複数個でないけれど根深いならその民俗学は粋がる
fact1: 「仮にある物は抜け易いとすれば「この空間分析は支払い手段であるけれどモーロだということはない」ということは事実と異なる」ということは成り立つ fact2: もしとある物は支払い手段であるとすれば入選しないがしかし遣る瀬無い fact3: もしも何らかのものはモーロでないとすると粋がるかあるいは抜け易い fact4: もしあの僕達皆が複数個でない一方で根深いならその切開孔は抜け易い fact5: もし仮にあの僕達皆が抜け易いとしたらその民俗学は支払い手段だ fact6: 仮にその民俗学が複数個でない一方で支払い手段であるならばあの僕達皆は粋がる fact7: 仮に「この空間分析は支払い手段であるがしかしモーロでない」ということは誤りだとするとその民俗学は粋がる fact8: もしあの僕達皆が複数個でその上それは根深いとすると「その切開孔は抜け易い」ということは真実だ
void -> assump1: 以下のように仮定する。あの僕達皆は複数個でない一方で根深い; fact4 & assump1 -> int1: その切開孔は抜け易い; int1 -> int2: 抜け易いものはある; int2 & fact1 -> int3: 「この空間分析は支払い手段だけどモーロでない」ということは事実と異なる; int3 & fact7 -> int4: その民俗学は粋がる; [assump1] & int4 -> hypothesis;
その民俗学は入選しないが遣る瀬無い
fact11 -> int5: 「仮にその民俗学が支払い手段であるとするとその民俗学は入選しないけれど遣る瀬無い」ということは成り立つ; fact10 -> int6: もし仮にその切開孔はモーロでないなら粋がるか抜け易いかあるいは両方である;
$facts$ = fact1: 「仮にある物は抜け易いとすれば「この空間分析は支払い手段であるけれどモーロだということはない」ということは事実と異なる」ということは成り立つ fact2: もしとある物は支払い手段であるとすれば入選しないがしかし遣る瀬無い fact3: もしも何らかのものはモーロでないとすると粋がるかあるいは抜け易い fact4: もしあの僕達皆が複数個でない一方で根深いならその切開孔は抜け易い fact5: もし仮にあの僕達皆が抜け易いとしたらその民俗学は支払い手段だ fact6: 仮にその民俗学が複数個でない一方で支払い手段であるならばあの僕達皆は粋がる fact7: 仮に「この空間分析は支払い手段であるがしかしモーロでない」ということは誤りだとするとその民俗学は粋がる fact8: もしあの僕達皆が複数個でその上それは根深いとすると「その切開孔は抜け易い」ということは真実だ ; $hypothesis$ = もしあの僕達皆が複数個でないけれど根深いならその民俗学は粋がる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの僕達皆は複数個でない一方で根深い; fact4 & assump1 -> int1: その切開孔は抜け易い; int1 -> int2: 抜け易いものはある; int2 & fact1 -> int3: 「この空間分析は支払い手段だけどモーロでない」ということは事実と異なる; int3 & fact7 -> int4: その民俗学は粋がる; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「仮にある物は抜け易いとすれば「この空間分析は支払い手段であるけれどモーロだということはない」ということは事実と異なる」ということは成り立つ
事実2: もしとある物は支払い手段であるとすれば入選しないがしかし遣る瀬無い
事実3: もしも何らかのものはモーロでないとすると粋がるかあるいは抜け易い
事実4: もしあの僕達皆が複数個でない一方で根深いならその切開孔は抜け易い
事実5: もし仮にあの僕達皆が抜け易いとしたらその民俗学は支払い手段だ
事実6: 仮にその民俗学が複数個でない一方で支払い手段であるならばあの僕達皆は粋がる
事実7: 仮に「この空間分析は支払い手段であるがしかしモーロでない」ということは誤りだとするとその民俗学は粋がる
事実8: もしあの僕達皆が複数個でその上それは根深いとすると「その切開孔は抜け易い」ということは真実だ

仮説: もしあの僕達皆が複数個でないけれど根深いならその民俗学は粋がる
1. 仮定1: 以下のように仮定する。あの僕達皆は複数個でない一方で根深い
2. 事実4と仮定1から、推論1: "その切開孔は抜け易い"が導かれる
3. 推論1から、推論2: "抜け易いものはある"が導かれる
4. 推論2と事実1から、推論3: "「この空間分析は支払い手段だけどモーロでない」ということは事実と異なる"が導かれる
5. 推論3と事実7から、推論4: "その民俗学は粋がる"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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