その将来推計は吝嗇でない
fact1: もし仮に「「「肩代わりしないしまた青天である」ということは成り立たない」物はある」ということは本当であるとすればこの誘電率は大勢力でない fact2: 「その将来推計は起こり易いということはないけれど長ったらしい」ということは事実と異なる fact3: この総本家は肩代わりしない fact4: もし仮にそのハッピーハウスが起こり易いならそれは聞く fact5: 「「肩代わりするしかつ青天である」ということは成り立たない」物はある fact6: 仮に「「肩代わりする」ということは成り立つ」ものがあるとしたらこの誘電率は大勢力でない fact7: そのハッピーハウスは起こり易い fact8: 「「不眠でまた解消だ」ということは事実でない」物はある fact9: 「この総本家は肩代わりするし青天だ」ということは間違っている fact10: 仮になんらかの物が長ったらしくないとすると吝嗇だということはない fact11: 仮にその将来推計が聞くということはないならば大勢力であるしそれに吝嗇だ fact12: その将来推計は吊れるということはない fact13: この総本家が肩代わりするということはないけど青天であるとしたらそのハッピーハウスは聞かない fact14: 仮に「大勢力であるということはない」物があるならその将来推計は長ったらしいということはない fact15: もしなにがしかのものは大勢力であるということはないとしたらそれはモロー反射でない
void -> assump1: 以下のように仮定する。この総本家は肩代わりしないけれど青天だ; fact13 & assump1 -> int1: そのハッピーハウスは聞かない; fact4 & fact7 -> int2: そのハッピーハウスは聞く; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この総本家は肩代わりしないがそれは青天である」ということは成り立たない; int4 -> int5: 「「肩代わりしないがしかし青天である」ということは誤りである」物はある; int5 & fact1 -> int6: この誘電率は大勢力でない; int6 -> int7: なにかは大勢力でない; int7 & fact14 -> int8: その将来推計は長ったらしくない; fact10 -> int9: もしもその将来推計が長ったらしいということはないならばそれは吝嗇でない; int8 & int9 -> hypothesis;
もしも「この議会レベルは大勢力でない」ということは正しいならば「モロー反射でない」ということは間違いでない
fact16 -> hypothesis;
$facts$ = fact1: もし仮に「「「肩代わりしないしまた青天である」ということは成り立たない」物はある」ということは本当であるとすればこの誘電率は大勢力でない fact2: 「その将来推計は起こり易いということはないけれど長ったらしい」ということは事実と異なる fact3: この総本家は肩代わりしない fact4: もし仮にそのハッピーハウスが起こり易いならそれは聞く fact5: 「「肩代わりするしかつ青天である」ということは成り立たない」物はある fact6: 仮に「「肩代わりする」ということは成り立つ」ものがあるとしたらこの誘電率は大勢力でない fact7: そのハッピーハウスは起こり易い fact8: 「「不眠でまた解消だ」ということは事実でない」物はある fact9: 「この総本家は肩代わりするし青天だ」ということは間違っている fact10: 仮になんらかの物が長ったらしくないとすると吝嗇だということはない fact11: 仮にその将来推計が聞くということはないならば大勢力であるしそれに吝嗇だ fact12: その将来推計は吊れるということはない fact13: この総本家が肩代わりするということはないけど青天であるとしたらそのハッピーハウスは聞かない fact14: 仮に「大勢力であるということはない」物があるならその将来推計は長ったらしいということはない fact15: もしなにがしかのものは大勢力であるということはないとしたらそれはモロー反射でない ; $hypothesis$ = その将来推計は吝嗇でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この総本家は肩代わりしないけれど青天だ; fact13 & assump1 -> int1: そのハッピーハウスは聞かない; fact4 & fact7 -> int2: そのハッピーハウスは聞く; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この総本家は肩代わりしないがそれは青天である」ということは成り立たない; int4 -> int5: 「「肩代わりしないがしかし青天である」ということは誤りである」物はある; int5 & fact1 -> int6: この誘電率は大勢力でない; int6 -> int7: なにかは大勢力でない; int7 & fact14 -> int8: その将来推計は長ったらしくない; fact10 -> int9: もしもその将来推計が長ったらしいということはないならばそれは吝嗇でない; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮に「「「肩代わりしないしまた青天である」ということは成り立たない」物はある」ということは本当であるとすればこの誘電率は大勢力でない
事実2: 「その将来推計は起こり易いということはないけれど長ったらしい」ということは事実と異なる
事実3: この総本家は肩代わりしない
事実4: もし仮にそのハッピーハウスが起こり易いならそれは聞く
事実5: 「「肩代わりするしかつ青天である」ということは成り立たない」物はある
事実6: 仮に「「肩代わりする」ということは成り立つ」ものがあるとしたらこの誘電率は大勢力でない
事実7: そのハッピーハウスは起こり易い
事実8: 「「不眠でまた解消だ」ということは事実でない」物はある
事実9: 「この総本家は肩代わりするし青天だ」ということは間違っている
事実10: 仮になんらかの物が長ったらしくないとすると吝嗇だということはない
事実11: 仮にその将来推計が聞くということはないならば大勢力であるしそれに吝嗇だ
事実12: その将来推計は吊れるということはない
事実13: この総本家が肩代わりするということはないけど青天であるとしたらそのハッピーハウスは聞かない
事実14: 仮に「大勢力であるということはない」物があるならその将来推計は長ったらしいということはない
事実15: もしなにがしかのものは大勢力であるということはないとしたらそれはモロー反射でない

仮説: その将来推計は吝嗇でない
1. 仮定1: 以下のように仮定する。この総本家は肩代わりしないけれど青天だ
2. 事実13と仮定1から、推論1: "そのハッピーハウスは聞かない"が導かれる
3. 事実4と事実7から、推論2: "そのハッピーハウスは聞く"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この総本家は肩代わりしないがそれは青天である」ということは成り立たない"が導かれる
6. 推論4から、推論5: "「「肩代わりしないがしかし青天である」ということは誤りである」物はある"が導かれる
7. 推論5と事実1から、推論6: "この誘電率は大勢力でない"が導かれる
8. 推論6から、推論7: "なにかは大勢力でない"が導かれる
9. 推論7と事実14から、推論8: "その将来推計は長ったらしくない"が導かれる
10. 事実10から、推論9: "もしもその将来推計が長ったらしいということはないならばそれは吝嗇でない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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