あのエンジン部品は参加す
fact1: 女っぽいものは振り替えないし成功し易くない fact2: もしあの国家意思は女っぽいとすれば「その十二番坑は女っぽい」ということは成り立つ fact3: 女っぽいものは調和し難い fact4: 「調和し難くないか参加すかまたは両方ともである」物はある fact5: 田地証文はむさい fact6: もし仮に「あのエンジン部品は分け入るかあるいは注意深くない」ということは偽ならば参加すらない fact7: あの国家意思が調和し難いけど成功し易くないとすればあのバーガーは女っぽい fact8: もし仮にあの国家意思が調和し難いとするとその十二番坑は女っぽい fact9: 「成功し易くないかあるいは振り替えるかあるいは両方である」ものはある fact10: もしもあの国家意思は女っぽいなら「成功し易い」ということは誤っていない fact11: 仮に「あのバーガーは参加すかもしくはそれは動き始める」ということは誤りであるとするとあの国家意思は参加すらない fact12: もし仮に「「「注意深くない」ということは成り立つ」ものはある」ということは成り立つとしたらあの国家意思は振り替える fact13: 仮にとある物が参加すらないならばそれは調和し難いかまたはそれは女っぽいかあるいはどちらもである fact14: もし仮にあのバーガーは調和し難いなら「あのエンジン部品は参加す」ということは真実である fact15: あの国家意思が振り替えるがしかし成功し易くないならあのバーガーは女っぽい fact16: 「振り替えないかあるいは参加すか両方な」物はある fact17: あるものは注意深いか分け入るかもしくは両方である fact18: なんらかの物は注意深くないか分け入るかまたは両方ともである fact19: あのバーガーは振り替えるということはない fact20: あの国家意思は成功し易くない fact21: もし仮になんらかの物が注意深いということはないかまたは分け入るか両方ともだとしたらあの国家意思は振り替える
fact18 & fact21 -> int1: あの国家意思は振り替える; int1 & fact20 -> int2: あの国家意思は振り替えるけど成功し易くない; int2 & fact15 -> int3: あのバーガーは女っぽい; fact3 -> int4: 仮に「あのバーガーは女っぽい」ということは事実であるなら調和し難い; int3 & int4 -> int5: 「あのバーガーは調和し難くない」ということは嘘である; int5 & fact14 -> hypothesis;
あのエンジン部品は参加すらない
$facts$ = fact1: 女っぽいものは振り替えないし成功し易くない fact2: もしあの国家意思は女っぽいとすれば「その十二番坑は女っぽい」ということは成り立つ fact3: 女っぽいものは調和し難い fact4: 「調和し難くないか参加すかまたは両方ともである」物はある fact5: 田地証文はむさい fact6: もし仮に「あのエンジン部品は分け入るかあるいは注意深くない」ということは偽ならば参加すらない fact7: あの国家意思が調和し難いけど成功し易くないとすればあのバーガーは女っぽい fact8: もし仮にあの国家意思が調和し難いとするとその十二番坑は女っぽい fact9: 「成功し易くないかあるいは振り替えるかあるいは両方である」ものはある fact10: もしもあの国家意思は女っぽいなら「成功し易い」ということは誤っていない fact11: 仮に「あのバーガーは参加すかもしくはそれは動き始める」ということは誤りであるとするとあの国家意思は参加すらない fact12: もし仮に「「「注意深くない」ということは成り立つ」ものはある」ということは成り立つとしたらあの国家意思は振り替える fact13: 仮にとある物が参加すらないならばそれは調和し難いかまたはそれは女っぽいかあるいはどちらもである fact14: もし仮にあのバーガーは調和し難いなら「あのエンジン部品は参加す」ということは真実である fact15: あの国家意思が振り替えるがしかし成功し易くないならあのバーガーは女っぽい fact16: 「振り替えないかあるいは参加すか両方な」物はある fact17: あるものは注意深いか分け入るかもしくは両方である fact18: なんらかの物は注意深くないか分け入るかまたは両方ともである fact19: あのバーガーは振り替えるということはない fact20: あの国家意思は成功し易くない fact21: もし仮になんらかの物が注意深いということはないかまたは分け入るか両方ともだとしたらあの国家意思は振り替える ; $hypothesis$ = あのエンジン部品は参加す ; $proof$ = 
fact18 & fact21 -> int1: あの国家意思は振り替える; int1 & fact20 -> int2: あの国家意思は振り替えるけど成功し易くない; int2 & fact15 -> int3: あのバーガーは女っぽい; fact3 -> int4: 仮に「あのバーガーは女っぽい」ということは事実であるなら調和し難い; int3 & int4 -> int5: 「あのバーガーは調和し難くない」ということは嘘である; int5 & fact14 -> hypothesis; __PROVED__
事実1: 女っぽいものは振り替えないし成功し易くない
事実2: もしあの国家意思は女っぽいとすれば「その十二番坑は女っぽい」ということは成り立つ
事実3: 女っぽいものは調和し難い
事実4: 「調和し難くないか参加すかまたは両方ともである」物はある
事実5: 田地証文はむさい
事実6: もし仮に「あのエンジン部品は分け入るかあるいは注意深くない」ということは偽ならば参加すらない
事実7: あの国家意思が調和し難いけど成功し易くないとすればあのバーガーは女っぽい
事実8: もし仮にあの国家意思が調和し難いとするとその十二番坑は女っぽい
事実9: 「成功し易くないかあるいは振り替えるかあるいは両方である」ものはある
事実10: もしもあの国家意思は女っぽいなら「成功し易い」ということは誤っていない
事実11: 仮に「あのバーガーは参加すかもしくはそれは動き始める」ということは誤りであるとするとあの国家意思は参加すらない
事実12: もし仮に「「「注意深くない」ということは成り立つ」ものはある」ということは成り立つとしたらあの国家意思は振り替える
事実13: 仮にとある物が参加すらないならばそれは調和し難いかまたはそれは女っぽいかあるいはどちらもである
事実14: もし仮にあのバーガーは調和し難いなら「あのエンジン部品は参加す」ということは真実である
事実15: あの国家意思が振り替えるがしかし成功し易くないならあのバーガーは女っぽい
事実16: 「振り替えないかあるいは参加すか両方な」物はある
事実17: あるものは注意深いか分け入るかもしくは両方である
事実18: なんらかの物は注意深くないか分け入るかまたは両方ともである
事実19: あのバーガーは振り替えるということはない
事実20: あの国家意思は成功し易くない
事実21: もし仮になんらかの物が注意深いということはないかまたは分け入るか両方ともだとしたらあの国家意思は振り替える

仮説: あのエンジン部品は参加す
1. 事実18と事実21から、推論1: "あの国家意思は振り替える"が導かれる
2. 推論1と事実20から、推論2: "あの国家意思は振り替えるけど成功し易くない"が導かれる
3. 推論2と事実15から、推論3: "あのバーガーは女っぽい"が導かれる
4. 事実3から、推論4: "仮に「あのバーガーは女っぽい」ということは事実であるなら調和し難い"が導かれる
5. 推論3と推論4から、推論5: "「あのバーガーは調和し難くない」ということは嘘である"が導かれる
6. 推論5と事実14から、仮説が導かれる

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