あの台湾人は突き崩す
fact1: 「もしこの宇宙開発は分かり兼ねれば「あの台湾人はファストフードだ」ということは成り立つ」ということは事実である fact2: あの台湾人が分かり兼ねるとすればそれはファストフードである fact3: この宇宙開発は分かり兼ねる fact4: とある物は共同性だとすると「それは認識様式でなくて更に堪能出来ない」ということは間違っている fact5: なんらかのものが生まれ易いなら転げない fact6: もしもあの台湾人が分かり兼ねればこの宇宙開発は規格単位だ fact7: あの交通安全特定事業計画は突き崩す fact8: 仮にこの戦史が転がすかそれが事らしいとすればあのＩＭＭＵＮが転はさない fact9: あの台湾人はファストフードであるなら規格単位だ fact10: 仮にあの台湾人は規格単位であるならそれは突き崩す fact11: ある物が転げないとしたらそれはファストフードであるし加えて規格単位だ fact12: もしもこの宇宙開発がファストフードだとするとあの台湾人は突き崩さないかまたはそれは分かり兼ねるかまたは両方である fact13: 仮に「あるものは認識様式でないし加えて堪能出来ない」ということは成り立たないとするとそれは生まれ易い fact14: なにかは転がさないなら付け替えるしおまけに共同性である fact15: この仮定的独占者は分かり兼ねる fact16: あの台湾人はコンタクトプリントである fact17: 何かは突き崩さないかもしくはそれは分かり兼ねるかまたは両方ともだとすると突き崩さない fact18: あのＩＭＭＵＮは生まれ易いとすると「この宇宙開発は生まれ易い」ということは成り立つ fact19: この宇宙開発は描き易い fact20: この宇宙開発は規格単位だ fact21: もしこの遺体保管所が転がしないけどそれは模様替えするなら「この戦史は転がす」ということは正しい fact22: 仮にこの仮定的独占者が分かり兼ねるとすればそれは厚かましい
fact1 & fact3 -> int1: あの台湾人はファストフードだ; int1 & fact9 -> int2: あの台湾人は規格単位だ; int2 & fact10 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 & fact9 -> int2: {C}{b}; int2 & fact10 -> hypothesis;
あの台湾人は突き崩すということはない
fact26 -> int3: もしあの台湾人は突き崩さないか分かり兼ねるかまたは両方だとすれば「突き崩さない」ということは成り立つ; fact32 -> int4: この宇宙開発が転げるということはないとしたらそれはファストフードで規格単位である; fact28 -> int5: もし仮にこの宇宙開発が生まれ易いならばそれは転げるということはない; fact31 -> int6: もしも「「あのＩＭＭＵＮは認識様式でないし堪能出来るということはない」ということは成り立つ」ということは間違っているとしたらそれは生まれ易い; fact24 -> int7: もしも「あのＩＭＭＵＮは共同性だ」ということは成り立つなら「認識様式でないしそれは堪能出来るということはない」ということは誤りである; fact29 -> int8: もしあのＩＭＭＵＮが転がしないとすれば付け替えるしおまけにそれは共同性である;
$facts$ = fact1: 「もしこの宇宙開発は分かり兼ねれば「あの台湾人はファストフードだ」ということは成り立つ」ということは事実である fact2: あの台湾人が分かり兼ねるとすればそれはファストフードである fact3: この宇宙開発は分かり兼ねる fact4: とある物は共同性だとすると「それは認識様式でなくて更に堪能出来ない」ということは間違っている fact5: なんらかのものが生まれ易いなら転げない fact6: もしもあの台湾人が分かり兼ねればこの宇宙開発は規格単位だ fact7: あの交通安全特定事業計画は突き崩す fact8: 仮にこの戦史が転がすかそれが事らしいとすればあのＩＭＭＵＮが転はさない fact9: あの台湾人はファストフードであるなら規格単位だ fact10: 仮にあの台湾人は規格単位であるならそれは突き崩す fact11: ある物が転げないとしたらそれはファストフードであるし加えて規格単位だ fact12: もしもこの宇宙開発がファストフードだとするとあの台湾人は突き崩さないかまたはそれは分かり兼ねるかまたは両方である fact13: 仮に「あるものは認識様式でないし加えて堪能出来ない」ということは成り立たないとするとそれは生まれ易い fact14: なにかは転がさないなら付け替えるしおまけに共同性である fact15: この仮定的独占者は分かり兼ねる fact16: あの台湾人はコンタクトプリントである fact17: 何かは突き崩さないかもしくはそれは分かり兼ねるかまたは両方ともだとすると突き崩さない fact18: あのＩＭＭＵＮは生まれ易いとすると「この宇宙開発は生まれ易い」ということは成り立つ fact19: この宇宙開発は描き易い fact20: この宇宙開発は規格単位だ fact21: もしこの遺体保管所が転がしないけどそれは模様替えするなら「この戦史は転がす」ということは正しい fact22: 仮にこの仮定的独占者が分かり兼ねるとすればそれは厚かましい ; $hypothesis$ = あの台湾人は突き崩す ; $proof$ = 
fact1 & fact3 -> int1: あの台湾人はファストフードだ; int1 & fact9 -> int2: あの台湾人は規格単位だ; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「もしこの宇宙開発は分かり兼ねれば「あの台湾人はファストフードだ」ということは成り立つ」ということは事実である
事実2: あの台湾人が分かり兼ねるとすればそれはファストフードである
事実3: この宇宙開発は分かり兼ねる
事実4: とある物は共同性だとすると「それは認識様式でなくて更に堪能出来ない」ということは間違っている
事実5: なんらかのものが生まれ易いなら転げない
事実6: もしもあの台湾人が分かり兼ねればこの宇宙開発は規格単位だ
事実7: あの交通安全特定事業計画は突き崩す
事実8: 仮にこの戦史が転がすかそれが事らしいとすればあのＩＭＭＵＮが転はさない
事実9: あの台湾人はファストフードであるなら規格単位だ
事実10: 仮にあの台湾人は規格単位であるならそれは突き崩す
事実11: ある物が転げないとしたらそれはファストフードであるし加えて規格単位だ
事実12: もしもこの宇宙開発がファストフードだとするとあの台湾人は突き崩さないかまたはそれは分かり兼ねるかまたは両方である
事実13: 仮に「あるものは認識様式でないし加えて堪能出来ない」ということは成り立たないとするとそれは生まれ易い
事実14: なにかは転がさないなら付け替えるしおまけに共同性である
事実15: この仮定的独占者は分かり兼ねる
事実16: あの台湾人はコンタクトプリントである
事実17: 何かは突き崩さないかもしくはそれは分かり兼ねるかまたは両方ともだとすると突き崩さない
事実18: あのＩＭＭＵＮは生まれ易いとすると「この宇宙開発は生まれ易い」ということは成り立つ
事実19: この宇宙開発は描き易い
事実20: この宇宙開発は規格単位だ
事実21: もしこの遺体保管所が転がしないけどそれは模様替えするなら「この戦史は転がす」ということは正しい
事実22: 仮にこの仮定的独占者が分かり兼ねるとすればそれは厚かましい

仮説: あの台湾人は突き崩す
1. 事実1と事実3から、推論1: "あの台湾人はファストフードだ"が導かれる
2. 推論1と事実9から、推論2: "あの台湾人は規格単位だ"が導かれる
3. 推論2と事実10から、仮説が導かれる

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