その卵巣機能不全はＵターンする
fact1: もし仮に「この両膝は手早くないかそれはこんがらかるかあるいは両方である」ということは間違いであるとするとあの箇条は手早くない fact2: もしもこのニッコウ黄菅が同調であるならこの無料版は賛同する fact3: この両膝が食い入るかあるいはそれがぞくぞくするならそれはこんがらかるということはない fact4: もしもとあるものがいじければ食い入らないしぞくぞくしない fact5: 仮に「何かは現代英語だしさらにＵターンする」ということは成り立たないとしたら「Ｕターンするということはない」ということは確かである fact6: 仮にあの箇条は手早くないとすると「その卵巣機能不全は現代英語であるしそれはＵターンする」ということは事実と異なる fact7: 仮にこの畜産農家は厄月でないとすると「それは涙ぐましいし加えて障る」ということは成り立たない fact8: もしなんらかのものがこんがらからないとするとそれは現代英語であるかまたは手早い fact9: もしも「「ひもじいけど軍事法廷でない」ということは成り立たない」ものがあるとするとあの箇条は現代英語である fact10: この畜産農家は厄月であるということはない fact11: もしこの両膝が手早いとするとあの箇条は現代英語だ fact12: もしもこの両膝が手早いとしたらあの箇条は現代英語であるということはない fact13: 「「「手早いけれどぞくぞくするということはない」ということは偽な」ものはある」ということは正しい fact14: 仮にこの指定知的障害児施設等が障らないとするとこの十三湖周辺は尊いかもしくはそれは同調であるかまたはどちらもだ fact15: もしもこの両膝がぞくぞくするとしたらこんがらからない fact16: もしもその四十六．体が所狭くないならひもじいかあるいはそれは解け易いかあるいは両方ともだ fact17: もし仮にこの両膝が現代英語だとすればあの箇条は現代英語でない fact18: もしその卵巣機能不全はＵターンするということはないとすれば「ひもじいが軍事法廷でない」ということは間違っている fact19: この両膝は食い入るかまたはぞくぞくするかまたは両方である fact20: もしもこの無料版が賛同するとしたらそのテイクはいじける fact21: もし仮にそのテイクは食い入るということはないならば「この両膝は手早くないかまたはそれはこんがらかるか両方ともだ」ということは間違いである
void -> assump1: 以下のように仮定する。その卵巣機能不全はＵターンしない; fact18 & assump1 -> int1: 「その卵巣機能不全はひもじいけれど軍事法廷でない」ということは成り立たない; int1 -> int2: 「「ひもじいけれど軍事法廷であるということはない」ということは事実でない」ものはある; int2 & fact9 -> int3: 「あの箇条は現代英語である」ということは本当だ; fact8 -> int4: 仮に「この両膝はこんがらからない」ということは成り立つとすればそれは現代英語であるかまたはそれは手早いかあるいはどちらもである; fact3 & fact19 -> int5: この両膝はこんがらかるということはない; int4 & int5 -> int6: この両膝は現代英語であるか手早い; fact17 & int6 & fact12 -> int7: あの箇条は現代英語でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その卵巣機能不全はＵターンしない
fact27 -> int9: 仮に「その卵巣機能不全は現代英語でしかもＵターンする」ということは偽だとすればＵターンしない; fact25 -> int10: もしそのテイクがいじけるとすると食い入るということはなくて加えてぞくぞくしない; fact23 & fact29 -> int11: 「この畜産農家は涙ぐましいししかも障る」ということは間違っている; int11 -> int12: 「「涙ぐましくて障る」ということは成り立つということはない」ものはある;
$facts$ = fact1: もし仮に「この両膝は手早くないかそれはこんがらかるかあるいは両方である」ということは間違いであるとするとあの箇条は手早くない fact2: もしもこのニッコウ黄菅が同調であるならこの無料版は賛同する fact3: この両膝が食い入るかあるいはそれがぞくぞくするならそれはこんがらかるということはない fact4: もしもとあるものがいじければ食い入らないしぞくぞくしない fact5: 仮に「何かは現代英語だしさらにＵターンする」ということは成り立たないとしたら「Ｕターンするということはない」ということは確かである fact6: 仮にあの箇条は手早くないとすると「その卵巣機能不全は現代英語であるしそれはＵターンする」ということは事実と異なる fact7: 仮にこの畜産農家は厄月でないとすると「それは涙ぐましいし加えて障る」ということは成り立たない fact8: もしなんらかのものがこんがらからないとするとそれは現代英語であるかまたは手早い fact9: もしも「「ひもじいけど軍事法廷でない」ということは成り立たない」ものがあるとするとあの箇条は現代英語である fact10: この畜産農家は厄月であるということはない fact11: もしこの両膝が手早いとするとあの箇条は現代英語だ fact12: もしもこの両膝が手早いとしたらあの箇条は現代英語であるということはない fact13: 「「「手早いけれどぞくぞくするということはない」ということは偽な」ものはある」ということは正しい fact14: 仮にこの指定知的障害児施設等が障らないとするとこの十三湖周辺は尊いかもしくはそれは同調であるかまたはどちらもだ fact15: もしもこの両膝がぞくぞくするとしたらこんがらからない fact16: もしもその四十六．体が所狭くないならひもじいかあるいはそれは解け易いかあるいは両方ともだ fact17: もし仮にこの両膝が現代英語だとすればあの箇条は現代英語でない fact18: もしその卵巣機能不全はＵターンするということはないとすれば「ひもじいが軍事法廷でない」ということは間違っている fact19: この両膝は食い入るかまたはぞくぞくするかまたは両方である fact20: もしもこの無料版が賛同するとしたらそのテイクはいじける fact21: もし仮にそのテイクは食い入るということはないならば「この両膝は手早くないかまたはそれはこんがらかるか両方ともだ」ということは間違いである ; $hypothesis$ = その卵巣機能不全はＵターンする ; $proof$ = 
void -> assump1: 以下のように仮定する。その卵巣機能不全はＵターンしない; fact18 & assump1 -> int1: 「その卵巣機能不全はひもじいけれど軍事法廷でない」ということは成り立たない; int1 -> int2: 「「ひもじいけれど軍事法廷であるということはない」ということは事実でない」ものはある; int2 & fact9 -> int3: 「あの箇条は現代英語である」ということは本当だ; fact8 -> int4: 仮に「この両膝はこんがらからない」ということは成り立つとすればそれは現代英語であるかまたはそれは手早いかあるいはどちらもである; fact3 & fact19 -> int5: この両膝はこんがらかるということはない; int4 & int5 -> int6: この両膝は現代英語であるか手早い; fact17 & int6 & fact12 -> int7: あの箇条は現代英語でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮に「この両膝は手早くないかそれはこんがらかるかあるいは両方である」ということは間違いであるとするとあの箇条は手早くない
事実2: もしもこのニッコウ黄菅が同調であるならこの無料版は賛同する
事実3: この両膝が食い入るかあるいはそれがぞくぞくするならそれはこんがらかるということはない
事実4: もしもとあるものがいじければ食い入らないしぞくぞくしない
事実5: 仮に「何かは現代英語だしさらにＵターンする」ということは成り立たないとしたら「Ｕターンするということはない」ということは確かである
事実6: 仮にあの箇条は手早くないとすると「その卵巣機能不全は現代英語であるしそれはＵターンする」ということは事実と異なる
事実7: 仮にこの畜産農家は厄月でないとすると「それは涙ぐましいし加えて障る」ということは成り立たない
事実8: もしなんらかのものがこんがらからないとするとそれは現代英語であるかまたは手早い
事実9: もしも「「ひもじいけど軍事法廷でない」ということは成り立たない」ものがあるとするとあの箇条は現代英語である
事実10: この畜産農家は厄月であるということはない
事実11: もしこの両膝が手早いとするとあの箇条は現代英語だ
事実12: もしもこの両膝が手早いとしたらあの箇条は現代英語であるということはない
事実13: 「「「手早いけれどぞくぞくするということはない」ということは偽な」ものはある」ということは正しい
事実14: 仮にこの指定知的障害児施設等が障らないとするとこの十三湖周辺は尊いかもしくはそれは同調であるかまたはどちらもだ
事実15: もしもこの両膝がぞくぞくするとしたらこんがらからない
事実16: もしもその四十六．体が所狭くないならひもじいかあるいはそれは解け易いかあるいは両方ともだ
事実17: もし仮にこの両膝が現代英語だとすればあの箇条は現代英語でない
事実18: もしその卵巣機能不全はＵターンするということはないとすれば「ひもじいが軍事法廷でない」ということは間違っている
事実19: この両膝は食い入るかまたはぞくぞくするかまたは両方である
事実20: もしもこの無料版が賛同するとしたらそのテイクはいじける
事実21: もし仮にそのテイクは食い入るということはないならば「この両膝は手早くないかまたはそれはこんがらかるか両方ともだ」ということは間違いである

仮説: その卵巣機能不全はＵターンする
1. 仮定1: 以下のように仮定する。その卵巣機能不全はＵターンしない
2. 事実18と仮定1から、推論1: "「その卵巣機能不全はひもじいけれど軍事法廷でない」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「ひもじいけれど軍事法廷であるということはない」ということは事実でない」ものはある"が導かれる
4. 推論2と事実9から、推論3: "「あの箇条は現代英語である」ということは本当だ"が導かれる
5. 事実8から、推論4: "仮に「この両膝はこんがらからない」ということは成り立つとすればそれは現代英語であるかまたはそれは手早いかあるいはどちらもである"が導かれる
6. 事実3と事実19から、推論5: "この両膝はこんがらかるということはない"が導かれる
7. 推論4と推論5から、推論6: "この両膝は現代英語であるか手早い"が導かれる
8. 事実17と推論6と事実12から、推論7: "あの箇条は現代英語でない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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