もしも「このムーンフェイズは生温い」ということは本当であるとするとあの実定は故無い
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: 以下のように仮定する。このムーンフェイズは生温い; fact16 & assump1 -> int1: この語族は冷める; int1 & fact20 -> int2: このホメオパスは掃く; int2 & fact13 -> int3: その引き戸は問い掛ける; int3 & fact24 -> int4: あの実定は故無い; [assump1] & int4 -> hypothesis;
あの国内利子率は問い掛ける
fact28 -> int5: もしもこのムーンフェイズは冷めるとしたら「問い掛けないしそれは生温い」ということは偽である; fact25 -> int6: もしこの語族が故無いということはないとすればそれは掃くかまたは冷める;
$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: 以下のように仮定する。このムーンフェイズは生温い; fact16 & assump1 -> int1: この語族は冷める; int1 & fact20 -> int2: このホメオパスは掃く; int2 & fact13 -> int3: その引き戸は問い掛ける; int3 & fact24 -> int4: あの実定は故無い; [assump1] & int4 -> 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. 事実16と仮定1から、推論1: "この語族は冷める"が導かれる
3. 推論1と事実20から、推論2: "このホメオパスは掃く"が導かれる
4. 推論2と事実13から、推論3: "その引き戸は問い掛ける"が導かれる
5. 推論3と事実24から、推論4: "あの実定は故無い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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