「あのマイドリームビギンは死体解剖保存法であるということはない」ということは成り立つ
fact1: もしもあのマイドリームビギンが白くないけど死体解剖保存法であるとするとその海外は計らうということはない fact2: あの消費者自身はつれなくないが白い fact3: その適用時期は白くない fact4: 仮にその海外が仕事らしくないけれどそれが死体解剖保存法であるならあのマイドリームビギンは白くない fact5: 仮になんらかのものは事業拡大でないとしたら「仕事らしくないし計らわない」ということは事実と異なる fact6: その海外は計らわないか気付き易くないかあるいは両方である fact7: もしその海外が白くないけど計らうとするとあのマイドリームビギンは死体解剖保存法でない fact8: もし「「その海外は補佐するけれどちっちゃいということはない」ということは嘘であるということはない」ということは嘘であるとしたらあのマイドリームビギンは補佐する fact9: なんらかのものは事業拡大でないならばそれは死体解剖保存法だけれど計らわない fact10: 仮にその海外は計らわないか事業拡大でないかあるいは両方ともであるとすれば仕事らしくない fact11: 「その海外は仕事らしい」ということは本当だ fact12: もしも「その滝夜叉姫は利水である」ということは成り立つとすればその海外は利水である fact13: あのマイドリームビギンは仕事らしくないかもしくは死体解剖保存法でない fact14: その海外は事業拡大であるということはないとすれば仕事らしくない fact15: あのマイドリームビギンは仕事らしくない fact16: 仮に「あのマイドリームビギンは補佐する」ということは嘘でないなら「それは仕事らしくないしそれは白い」ということは成り立つということはない fact17: その海外は計らわないかまたはそれは事業拡大であるかあるいは両方ともだ fact18: 「その海外は正しくない」ということは間違っていない fact19: あのマイドリームビギンは緩解しない fact20: その海外は肌寒い fact21: その海外は白くない fact22: このチキン料理は白くない fact23: もしなんらかの物は利水であるとすれば「補佐する一方でちっちゃくない」ということは成り立つということはない fact24: その海外は仕事らしくないかあるいは日暮れないかまたは両方だ
void -> assump1: 以下のように仮定する。「その海外は計らわない」ということは正しい; assump1 -> int1: その海外は計らわないか事業拡大だということはない; int1 & fact10 -> int2: その海外は仕事らしくない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: その海外は計らう; int4 & fact21 -> int5: その海外は白くないけど計らう; int5 & fact7 -> hypothesis;
あのマイドリームビギンは死体解剖保存法だ
fact28 -> int6: もしあのマイドリームビギンは事業拡大でないならばそれは死体解剖保存法だが計らうということはない; fact27 -> int7: もし仮にその海外は利水であるならば「それが補佐するしその上それはちっちゃくない」ということは成り立たない;
$facts$ = fact1: もしもあのマイドリームビギンが白くないけど死体解剖保存法であるとするとその海外は計らうということはない fact2: あの消費者自身はつれなくないが白い fact3: その適用時期は白くない fact4: 仮にその海外が仕事らしくないけれどそれが死体解剖保存法であるならあのマイドリームビギンは白くない fact5: 仮になんらかのものは事業拡大でないとしたら「仕事らしくないし計らわない」ということは事実と異なる fact6: その海外は計らわないか気付き易くないかあるいは両方である fact7: もしその海外が白くないけど計らうとするとあのマイドリームビギンは死体解剖保存法でない fact8: もし「「その海外は補佐するけれどちっちゃいということはない」ということは嘘であるということはない」ということは嘘であるとしたらあのマイドリームビギンは補佐する fact9: なんらかのものは事業拡大でないならばそれは死体解剖保存法だけれど計らわない fact10: 仮にその海外は計らわないか事業拡大でないかあるいは両方ともであるとすれば仕事らしくない fact11: 「その海外は仕事らしい」ということは本当だ fact12: もしも「その滝夜叉姫は利水である」ということは成り立つとすればその海外は利水である fact13: あのマイドリームビギンは仕事らしくないかもしくは死体解剖保存法でない fact14: その海外は事業拡大であるということはないとすれば仕事らしくない fact15: あのマイドリームビギンは仕事らしくない fact16: 仮に「あのマイドリームビギンは補佐する」ということは嘘でないなら「それは仕事らしくないしそれは白い」ということは成り立つということはない fact17: その海外は計らわないかまたはそれは事業拡大であるかあるいは両方ともだ fact18: 「その海外は正しくない」ということは間違っていない fact19: あのマイドリームビギンは緩解しない fact20: その海外は肌寒い fact21: その海外は白くない fact22: このチキン料理は白くない fact23: もしなんらかの物は利水であるとすれば「補佐する一方でちっちゃくない」ということは成り立つということはない fact24: その海外は仕事らしくないかあるいは日暮れないかまたは両方だ ; $hypothesis$ = 「あのマイドリームビギンは死体解剖保存法であるということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その海外は計らわない」ということは正しい; assump1 -> int1: その海外は計らわないか事業拡大だということはない; int1 & fact10 -> int2: その海外は仕事らしくない; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: その海外は計らう; int4 & fact21 -> int5: その海外は白くないけど計らう; int5 & fact7 -> hypothesis; __PROVED__
事実1: もしもあのマイドリームビギンが白くないけど死体解剖保存法であるとするとその海外は計らうということはない
事実2: あの消費者自身はつれなくないが白い
事実3: その適用時期は白くない
事実4: 仮にその海外が仕事らしくないけれどそれが死体解剖保存法であるならあのマイドリームビギンは白くない
事実5: 仮になんらかのものは事業拡大でないとしたら「仕事らしくないし計らわない」ということは事実と異なる
事実6: その海外は計らわないか気付き易くないかあるいは両方である
事実7: もしその海外が白くないけど計らうとするとあのマイドリームビギンは死体解剖保存法でない
事実8: もし「「その海外は補佐するけれどちっちゃいということはない」ということは嘘であるということはない」ということは嘘であるとしたらあのマイドリームビギンは補佐する
事実9: なんらかのものは事業拡大でないならばそれは死体解剖保存法だけれど計らわない
事実10: 仮にその海外は計らわないか事業拡大でないかあるいは両方ともであるとすれば仕事らしくない
事実11: 「その海外は仕事らしい」ということは本当だ
事実12: もしも「その滝夜叉姫は利水である」ということは成り立つとすればその海外は利水である
事実13: あのマイドリームビギンは仕事らしくないかもしくは死体解剖保存法でない
事実14: その海外は事業拡大であるということはないとすれば仕事らしくない
事実15: あのマイドリームビギンは仕事らしくない
事実16: 仮に「あのマイドリームビギンは補佐する」ということは嘘でないなら「それは仕事らしくないしそれは白い」ということは成り立つということはない
事実17: その海外は計らわないかまたはそれは事業拡大であるかあるいは両方ともだ
事実18: 「その海外は正しくない」ということは間違っていない
事実19: あのマイドリームビギンは緩解しない
事実20: その海外は肌寒い
事実21: その海外は白くない
事実22: このチキン料理は白くない
事実23: もしなんらかの物は利水であるとすれば「補佐する一方でちっちゃくない」ということは成り立つということはない
事実24: その海外は仕事らしくないかあるいは日暮れないかまたは両方だ

仮説: 「あのマイドリームビギンは死体解剖保存法であるということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「その海外は計らわない」ということは正しい
2. 仮定1から、推論1: "その海外は計らわないか事業拡大だということはない"が導かれる
3. 推論1と事実10から、推論2: "その海外は仕事らしくない"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その海外は計らう"が導かれる
6. 推論4と事実21から、推論5: "その海外は白くないけど計らう"が導かれる
7. 推論5と事実7から、仮説が導かれる

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