この体外受精・胚移植法は共通する
fact1: あの葉肉は未でない fact2: 仮に「あの葉肉は負荷しない」ということは事実であるなら「この不完全性は開戦でない」ということは事実と異ならない fact3: もし仮にあの葉肉が未だするとすればそれは侵入し易くない fact4: あの葉肉は侵入し易いしさらにそれは産する fact5: もしもこの不完全性が開戦でなくて作り直さないならあの葉肉は徴税である fact6: もし「「あの葉肉は未でない一方で作り直す」ということは成り立たない」ということは正しいとしたら「それは侵入し易くない」ということは正しい fact7: もし仮に徴税が開戦でないとすれば負荷する fact8: もしもあの葉肉が侵入し易いし更に共通するならこの体外受精・胚移植法は共通しない fact9: この不完全性は開戦でない fact10: もしも「あの葉肉は未だするし作り直す」ということは間違いでないとすればそれは負荷しない fact11: この不完全性が開戦でないしそれが徴税でないならばこの体外受精・胚移植法は共通する fact12: あの葉肉は荒立つ fact13: 「あの葉肉は未だするしその上作り直す」ということは間違っている fact14: この不完全性が開戦だけれど徴税でないならばこの体外受精・胚移植法は共通する fact15: もしとある物が未だするし作り直すなら「負荷する」ということは誤りである fact16: もし仮にあの葉肉が負荷しないならばあの不完全性は開戦でないし加えて徴税でない fact17: もし仮になにかは未でないが作り直すとすると負荷するということはない fact18: あの葉肉は産する fact19: もし仮に何らかの物が作り直さないがしかし侵入し易いならば開戦でない
void -> assump1: 以下のように仮定する。「「あの葉肉は未でないけど作り直す」ということは成り立たない」ということは誤っているということはない; fact6 & assump1 -> int1: あの葉肉は侵入し易くない; fact4 -> int2: あの葉肉は侵入し易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの葉肉は未だしないけど作り直す; fact17 -> int5: もしもあの葉肉は未でないけれど作り直すとすれば負荷しない; int4 & int5 -> int6: あの葉肉は負荷しない; int6 & fact16 -> int7: この不完全性は開戦でないし加えて徴税でない; int7 & fact11 -> hypothesis;
この体外受精・胚移植法は共通しない
fact21 -> int8: もしこの不完全性は徴税であるが開戦でないならばそれは負荷する;
$facts$ = fact1: あの葉肉は未でない fact2: 仮に「あの葉肉は負荷しない」ということは事実であるなら「この不完全性は開戦でない」ということは事実と異ならない fact3: もし仮にあの葉肉が未だするとすればそれは侵入し易くない fact4: あの葉肉は侵入し易いしさらにそれは産する fact5: もしもこの不完全性が開戦でなくて作り直さないならあの葉肉は徴税である fact6: もし「「あの葉肉は未でない一方で作り直す」ということは成り立たない」ということは正しいとしたら「それは侵入し易くない」ということは正しい fact7: もし仮に徴税が開戦でないとすれば負荷する fact8: もしもあの葉肉が侵入し易いし更に共通するならこの体外受精・胚移植法は共通しない fact9: この不完全性は開戦でない fact10: もしも「あの葉肉は未だするし作り直す」ということは間違いでないとすればそれは負荷しない fact11: この不完全性が開戦でないしそれが徴税でないならばこの体外受精・胚移植法は共通する fact12: あの葉肉は荒立つ fact13: 「あの葉肉は未だするしその上作り直す」ということは間違っている fact14: この不完全性が開戦だけれど徴税でないならばこの体外受精・胚移植法は共通する fact15: もしとある物が未だするし作り直すなら「負荷する」ということは誤りである fact16: もし仮にあの葉肉が負荷しないならばあの不完全性は開戦でないし加えて徴税でない fact17: もし仮になにかは未でないが作り直すとすると負荷するということはない fact18: あの葉肉は産する fact19: もし仮に何らかの物が作り直さないがしかし侵入し易いならば開戦でない ; $hypothesis$ = この体外受精・胚移植法は共通する ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの葉肉は未でないけど作り直す」ということは成り立たない」ということは誤っているということはない; fact6 & assump1 -> int1: あの葉肉は侵入し易くない; fact4 -> int2: あの葉肉は侵入し易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの葉肉は未だしないけど作り直す; fact17 -> int5: もしもあの葉肉は未でないけれど作り直すとすれば負荷しない; int4 & int5 -> int6: あの葉肉は負荷しない; int6 & fact16 -> int7: この不完全性は開戦でないし加えて徴税でない; int7 & fact11 -> hypothesis; __PROVED__
事実1: あの葉肉は未でない
事実2: 仮に「あの葉肉は負荷しない」ということは事実であるなら「この不完全性は開戦でない」ということは事実と異ならない
事実3: もし仮にあの葉肉が未だするとすればそれは侵入し易くない
事実4: あの葉肉は侵入し易いしさらにそれは産する
事実5: もしもこの不完全性が開戦でなくて作り直さないならあの葉肉は徴税である
事実6: もし「「あの葉肉は未でない一方で作り直す」ということは成り立たない」ということは正しいとしたら「それは侵入し易くない」ということは正しい
事実7: もし仮に徴税が開戦でないとすれば負荷する
事実8: もしもあの葉肉が侵入し易いし更に共通するならこの体外受精・胚移植法は共通しない
事実9: この不完全性は開戦でない
事実10: もしも「あの葉肉は未だするし作り直す」ということは間違いでないとすればそれは負荷しない
事実11: この不完全性が開戦でないしそれが徴税でないならばこの体外受精・胚移植法は共通する
事実12: あの葉肉は荒立つ
事実13: 「あの葉肉は未だするしその上作り直す」ということは間違っている
事実14: この不完全性が開戦だけれど徴税でないならばこの体外受精・胚移植法は共通する
事実15: もしとある物が未だするし作り直すなら「負荷する」ということは誤りである
事実16: もし仮にあの葉肉が負荷しないならばあの不完全性は開戦でないし加えて徴税でない
事実17: もし仮になにかは未でないが作り直すとすると負荷するということはない
事実18: あの葉肉は産する
事実19: もし仮に何らかの物が作り直さないがしかし侵入し易いならば開戦でない

仮説: この体外受精・胚移植法は共通する
1. 仮定1: 以下のように仮定する。「「あの葉肉は未でないけど作り直す」ということは成り立たない」ということは誤っているということはない
2. 事実6と仮定1から、推論1: "あの葉肉は侵入し易くない"が導かれる
3. 事実4から、推論2: "あの葉肉は侵入し易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの葉肉は未だしないけど作り直す"が導かれる
6. 事実17から、推論5: "もしもあの葉肉は未でないけれど作り直すとすれば負荷しない"が導かれる
7. 推論4と推論5から、推論6: "あの葉肉は負荷しない"が導かれる
8. 推論6と事実16から、推論7: "この不完全性は開戦でないし加えて徴税でない"が導かれる
9. 推論7と事実11から、仮説が導かれる

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