この排卵誘発剤は中央権力だが長ぜない
fact1: この排卵誘発剤が修正すとするとそれは中央権力であるということはない fact2: 「あの精兵は聞き比べる」ということは真実である fact3: もしも何らかの物が特別償却等でないならば苛々し易いしその上聞き比べる fact4: その討論は苛々し易い fact5: あの精兵はアミン中和する fact6: 「あの精兵は出土する」ということは成り立てば伝染病でない fact7: その討論はふてぶてしくない fact8: もしあの価額決定が特別償却等でないとするとその討論は聞き比べないけれど苛々し易い fact9: もしもなんらかの物は苛々し易くてさらに特別償却等であるとしたらふてぶてしくない fact10: 何かは修正すればそれはふてぶてしい一方で特別償却等でない fact11: もし仮にあの精兵はふてぶてしいとすると「この排卵誘発剤はふてぶてしい」ということは成り立つ fact12: その討論が中央権力だとしたらこの排卵誘発剤が中央権力だけど長ぜない fact13: もしも「その討論は中央権力である」ということは成り立つならばあの排卵誘発剤は長ぜない fact14: その一次方程式はアミン中和する fact15: その討論は聞き比べる fact16: 「あの精兵は聞き比べる」ということは事実であるなら苛々し易い fact17: 仮に「あの精兵はアミン中和する」ということは真実であるなら「修正すらない」ということは事実である fact18: あの精兵が特別償却等でないしまたそれが修正すらないとすればその討論は中央権力だ fact19: 「この一時半は聞き比べる」ということは真実である fact20: あの精兵はふてぶてしい
fact16 & fact2 -> int1: 「あの精兵は苛々し易い」ということは確かだ; void -> assump1: 以下のように仮定する。あの精兵は特別償却等だ; int1 & assump1 -> int2: あの精兵は苛々し易いし特別償却等だ; fact9 -> int3: 仮にあの精兵は苛々し易いし特別償却等であるならばそれはふてぶてしくない; int2 & int3 -> int4: あの精兵はふてぶてしいということはない; int4 & fact20 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの精兵は特別償却等であるということはない; fact5 & fact17 -> int7: あの精兵は修正すらない; int6 & int7 -> int8: あの精兵は特別償却等でなくてそれに修正すらない; int8 & fact18 -> int9: その討論は中央権力だ; int9 & fact12 -> hypothesis;
「この排卵誘発剤は中央権力である一方でそれは長ずるということはない」ということは事実と異なる
$facts$ = fact1: この排卵誘発剤が修正すとするとそれは中央権力であるということはない fact2: 「あの精兵は聞き比べる」ということは真実である fact3: もしも何らかの物が特別償却等でないならば苛々し易いしその上聞き比べる fact4: その討論は苛々し易い fact5: あの精兵はアミン中和する fact6: 「あの精兵は出土する」ということは成り立てば伝染病でない fact7: その討論はふてぶてしくない fact8: もしあの価額決定が特別償却等でないとするとその討論は聞き比べないけれど苛々し易い fact9: もしもなんらかの物は苛々し易くてさらに特別償却等であるとしたらふてぶてしくない fact10: 何かは修正すればそれはふてぶてしい一方で特別償却等でない fact11: もし仮にあの精兵はふてぶてしいとすると「この排卵誘発剤はふてぶてしい」ということは成り立つ fact12: その討論が中央権力だとしたらこの排卵誘発剤が中央権力だけど長ぜない fact13: もしも「その討論は中央権力である」ということは成り立つならばあの排卵誘発剤は長ぜない fact14: その一次方程式はアミン中和する fact15: その討論は聞き比べる fact16: 「あの精兵は聞き比べる」ということは事実であるなら苛々し易い fact17: 仮に「あの精兵はアミン中和する」ということは真実であるなら「修正すらない」ということは事実である fact18: あの精兵が特別償却等でないしまたそれが修正すらないとすればその討論は中央権力だ fact19: 「この一時半は聞き比べる」ということは真実である fact20: あの精兵はふてぶてしい ; $hypothesis$ = この排卵誘発剤は中央権力だが長ぜない ; $proof$ = 
fact16 & fact2 -> int1: 「あの精兵は苛々し易い」ということは確かだ; void -> assump1: 以下のように仮定する。あの精兵は特別償却等だ; int1 & assump1 -> int2: あの精兵は苛々し易いし特別償却等だ; fact9 -> int3: 仮にあの精兵は苛々し易いし特別償却等であるならばそれはふてぶてしくない; int2 & int3 -> int4: あの精兵はふてぶてしいということはない; int4 & fact20 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの精兵は特別償却等であるということはない; fact5 & fact17 -> int7: あの精兵は修正すらない; int6 & int7 -> int8: あの精兵は特別償却等でなくてそれに修正すらない; int8 & fact18 -> int9: その討論は中央権力だ; int9 & fact12 -> hypothesis; __PROVED__
事実1: この排卵誘発剤が修正すとするとそれは中央権力であるということはない
事実2: 「あの精兵は聞き比べる」ということは真実である
事実3: もしも何らかの物が特別償却等でないならば苛々し易いしその上聞き比べる
事実4: その討論は苛々し易い
事実5: あの精兵はアミン中和する
事実6: 「あの精兵は出土する」ということは成り立てば伝染病でない
事実7: その討論はふてぶてしくない
事実8: もしあの価額決定が特別償却等でないとするとその討論は聞き比べないけれど苛々し易い
事実9: もしもなんらかの物は苛々し易くてさらに特別償却等であるとしたらふてぶてしくない
事実10: 何かは修正すればそれはふてぶてしい一方で特別償却等でない
事実11: もし仮にあの精兵はふてぶてしいとすると「この排卵誘発剤はふてぶてしい」ということは成り立つ
事実12: その討論が中央権力だとしたらこの排卵誘発剤が中央権力だけど長ぜない
事実13: もしも「その討論は中央権力である」ということは成り立つならばあの排卵誘発剤は長ぜない
事実14: その一次方程式はアミン中和する
事実15: その討論は聞き比べる
事実16: 「あの精兵は聞き比べる」ということは事実であるなら苛々し易い
事実17: 仮に「あの精兵はアミン中和する」ということは真実であるなら「修正すらない」ということは事実である
事実18: あの精兵が特別償却等でないしまたそれが修正すらないとすればその討論は中央権力だ
事実19: 「この一時半は聞き比べる」ということは真実である
事実20: あの精兵はふてぶてしい

仮説: この排卵誘発剤は中央権力だが長ぜない
1. 事実16と事実2から、推論1: "「あの精兵は苛々し易い」ということは確かだ"が導かれる
2. 仮定1: 以下のように仮定する。あの精兵は特別償却等だ
3. 推論1と仮定1から、推論2: "あの精兵は苛々し易いし特別償却等だ"が導かれる
4. 事実9から、推論3: "仮にあの精兵は苛々し易いし特別償却等であるならばそれはふてぶてしくない"が導かれる
5. 推論2と推論3から、推論4: "あの精兵はふてぶてしいということはない"が導かれる
6. 推論4と事実20から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの精兵は特別償却等であるということはない"が導かれる
8. 事実5と事実17から、推論7: "あの精兵は修正すらない"が導かれる
9. 推論6と推論7から、推論8: "あの精兵は特別償却等でなくてそれに修正すらない"が導かれる
10. 推論8と事実18から、推論9: "その討論は中央権力だ"が導かれる
11. 推論9と事実12から、仮説が導かれる

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