仮にあの省都は病めるとしたら「あの点数評価は敬礼しなくてしかも希望しない」ということは確かだということはない
fact1: もしもこの調停者は希望しないとすると「あの点数評価は敬礼しなくてしかも希望しない」ということは真実でない fact2: あの省都は病めるとしたら「「あの点数評価は敬礼しないけれど希望する」ということは成り立つ」ということは偽である fact3: もし仮にあの省都は病めるとすれば「「あの点数評価は敬礼する一方でそれは希望しない」ということは確かだ」ということは誤りだ fact4: あの点数評価は敬礼しないしさらに希望しない fact5: 仮にこの調停者は希望するなら「あの失踪者はミックスしなくて生ぜない」ということは誤りだ fact6: この調停者は希望しないとすると「あの点数評価は敬礼しないけど希望する」ということは成り立たない fact7: 「あの点数評価は生ぜないし希望しない」ということは嘘である fact8: 仮にあの失踪者は生ずるとすると「あの点数評価はミックスしないしそれに希望しない」ということは嘘だ fact9: もしあの失踪者は生ずるとしたら「あの省都は病めない」ということは真実である fact10: 「あの点数評価は敬礼するということはないけれどそれは希望する」ということは事実でない fact11: あの失踪者は敬礼しない fact12: 仮にこの調停者は希望するということはないとすれば「あの点数評価は敬礼する一方でそれは希望するということはない」ということは本当でない fact13: 仮に「この調停者は希望しなくてそれは敬礼しない」ということは間違いだとするとあの富裕層は希望しない fact14: 「あの省都は希望しないし病めるということはない」ということは誤りだ fact15: あの失踪者は希望しなくて加えて生ぜない fact16: もしこの調停者が希望しないとするとあの点数評価は敬礼しないし加えて希望しない fact17: 「もしも「あの失踪者はミックスするということはないし生ぜない」ということは間違いであるならばあの省都は病めない」ということは事実である fact18: 「あの失踪者はミックスするということはない一方で生ずる」ということは真実でない fact19: あの省都は敬礼しない
void -> assump2: 以下のように仮定する。この調停者は希望する; fact5 & assump2 -> int1: 「あの失踪者はミックスしなくておまけに生ぜない」ということは事実と異なる; int1 & fact17 -> int2: あの省都は病めない; void -> assump1: 以下のように仮定する。あの省都は病める; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この調停者は希望しない; int4 & fact1 -> int5: 「あの点数評価は敬礼しなくてしかも希望しない」ということは成り立たない; [assump1] & int5 -> hypothesis;
あの富裕層はミックスする
$facts$ = fact1: もしもこの調停者は希望しないとすると「あの点数評価は敬礼しなくてしかも希望しない」ということは真実でない fact2: あの省都は病めるとしたら「「あの点数評価は敬礼しないけれど希望する」ということは成り立つ」ということは偽である fact3: もし仮にあの省都は病めるとすれば「「あの点数評価は敬礼する一方でそれは希望しない」ということは確かだ」ということは誤りだ fact4: あの点数評価は敬礼しないしさらに希望しない fact5: 仮にこの調停者は希望するなら「あの失踪者はミックスしなくて生ぜない」ということは誤りだ fact6: この調停者は希望しないとすると「あの点数評価は敬礼しないけど希望する」ということは成り立たない fact7: 「あの点数評価は生ぜないし希望しない」ということは嘘である fact8: 仮にあの失踪者は生ずるとすると「あの点数評価はミックスしないしそれに希望しない」ということは嘘だ fact9: もしあの失踪者は生ずるとしたら「あの省都は病めない」ということは真実である fact10: 「あの点数評価は敬礼するということはないけれどそれは希望する」ということは事実でない fact11: あの失踪者は敬礼しない fact12: 仮にこの調停者は希望するということはないとすれば「あの点数評価は敬礼する一方でそれは希望するということはない」ということは本当でない fact13: 仮に「この調停者は希望しなくてそれは敬礼しない」ということは間違いだとするとあの富裕層は希望しない fact14: 「あの省都は希望しないし病めるということはない」ということは誤りだ fact15: あの失踪者は希望しなくて加えて生ぜない fact16: もしこの調停者が希望しないとするとあの点数評価は敬礼しないし加えて希望しない fact17: 「もしも「あの失踪者はミックスするということはないし生ぜない」ということは間違いであるならばあの省都は病めない」ということは事実である fact18: 「あの失踪者はミックスするということはない一方で生ずる」ということは真実でない fact19: あの省都は敬礼しない ; $hypothesis$ = 仮にあの省都は病めるとしたら「あの点数評価は敬礼しなくてしかも希望しない」ということは確かだということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。この調停者は希望する; fact5 & assump2 -> int1: 「あの失踪者はミックスしなくておまけに生ぜない」ということは事実と異なる; int1 & fact17 -> int2: あの省都は病めない; void -> assump1: 以下のように仮定する。あの省都は病める; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この調停者は希望しない; int4 & fact1 -> int5: 「あの点数評価は敬礼しなくてしかも希望しない」ということは成り立たない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもこの調停者は希望しないとすると「あの点数評価は敬礼しなくてしかも希望しない」ということは真実でない
事実2: あの省都は病めるとしたら「「あの点数評価は敬礼しないけれど希望する」ということは成り立つ」ということは偽である
事実3: もし仮にあの省都は病めるとすれば「「あの点数評価は敬礼する一方でそれは希望しない」ということは確かだ」ということは誤りだ
事実4: あの点数評価は敬礼しないしさらに希望しない
事実5: 仮にこの調停者は希望するなら「あの失踪者はミックスしなくて生ぜない」ということは誤りだ
事実6: この調停者は希望しないとすると「あの点数評価は敬礼しないけど希望する」ということは成り立たない
事実7: 「あの点数評価は生ぜないし希望しない」ということは嘘である
事実8: 仮にあの失踪者は生ずるとすると「あの点数評価はミックスしないしそれに希望しない」ということは嘘だ
事実9: もしあの失踪者は生ずるとしたら「あの省都は病めない」ということは真実である
事実10: 「あの点数評価は敬礼するということはないけれどそれは希望する」ということは事実でない
事実11: あの失踪者は敬礼しない
事実12: 仮にこの調停者は希望するということはないとすれば「あの点数評価は敬礼する一方でそれは希望するということはない」ということは本当でない
事実13: 仮に「この調停者は希望しなくてそれは敬礼しない」ということは間違いだとするとあの富裕層は希望しない
事実14: 「あの省都は希望しないし病めるということはない」ということは誤りだ
事実15: あの失踪者は希望しなくて加えて生ぜない
事実16: もしこの調停者が希望しないとするとあの点数評価は敬礼しないし加えて希望しない
事実17: 「もしも「あの失踪者はミックスするということはないし生ぜない」ということは間違いであるならばあの省都は病めない」ということは事実である
事実18: 「あの失踪者はミックスするということはない一方で生ずる」ということは真実でない
事実19: あの省都は敬礼しない

仮説: 仮にあの省都は病めるとしたら「あの点数評価は敬礼しなくてしかも希望しない」ということは確かだということはない
1. 仮定2: 以下のように仮定する。この調停者は希望する
2. 事実5と仮定2から、推論1: "「あの失踪者はミックスしなくておまけに生ぜない」ということは事実と異なる"が導かれる
3. 推論1と事実17から、推論2: "あの省都は病めない"が導かれる
4. 仮定1: 以下のように仮定する。あの省都は病める
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この調停者は希望しない"が導かれる
7. 推論4と事実1から、推論5: "「あの点数評価は敬礼しなくてしかも希望しない」ということは成り立たない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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