もしも「あのまやかしは白しないしその上低くない」ということは嘘ならあの平衡砂は排水しない
fact1: あの平衡砂が談話者だしおまけに低いならそれは恐れ多くない fact2: その被疑者・被告人は発行決議だ fact3: もしあの平衡砂が排水するしまた恐れ多いとしたらそれは談話者でない fact4: 「「その被疑者・被告人が白しないしさらに恐れ多くない」ということは成り立つ」ということは嘘だ fact5: もしも「あのまやかしは恐れ多くなくてその上それは談話者でない」ということは成り立たないならその被疑者・被告人は低い fact6: あの平衡砂が修理するし加えてそれが排水するとすればそれは談話者でない fact7: 「「談話者であるしさらに修理しない」ということは成り立たない」ものがあるとすればあの平衡砂は修理する fact8: 「「その被疑者・被告人は恐れ多いが談話者でない」ということは嘘だ」ということは真実だ fact9: もし「あのまやかしは白しないし更に低くない」ということは間違いだとしたらあの平衡砂は修理する fact10: 「あのまやかしは低くて恐れ多い」ということは間違いだ fact11: 「あの平衡砂は恐れ多いけど修理しない」ということは誤りだ fact12: 仮にあの平衡砂は白しならば「あのまやかしは修理する」ということは本当だ fact13: もしあの平衡砂が白しとしたらあのまやかしは談話者である fact14: もし仮に「「恐れ多いが談話者でない」ということは成り立たない」物があればあの平衡砂は談話者である
void -> assump2: 以下のように仮定する。「あのまやかしは白しないし加えて低くない」ということは成り立たない; fact9 & assump2 -> int1: あの平衡砂は修理する; void -> assump1: 以下のように仮定する。あの平衡砂は排水する; int1 & assump1 -> int2: 「あの平衡砂は修理するしかつ排水する」ということは本当である; int2 & fact6 -> int3: あの平衡砂は談話者でない; fact8 -> int4: 「「恐れ多いがしかし談話者でない」ということは確かでない」物はある; int4 & fact14 -> int5: あの平衡砂は談話者である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの平衡砂は排水しない; [assump2] & int7 -> hypothesis;
$facts$ = fact1: あの平衡砂が談話者だしおまけに低いならそれは恐れ多くない fact2: その被疑者・被告人は発行決議だ fact3: もしあの平衡砂が排水するしまた恐れ多いとしたらそれは談話者でない fact4: 「「その被疑者・被告人が白しないしさらに恐れ多くない」ということは成り立つ」ということは嘘だ fact5: もしも「あのまやかしは恐れ多くなくてその上それは談話者でない」ということは成り立たないならその被疑者・被告人は低い fact6: あの平衡砂が修理するし加えてそれが排水するとすればそれは談話者でない fact7: 「「談話者であるしさらに修理しない」ということは成り立たない」ものがあるとすればあの平衡砂は修理する fact8: 「「その被疑者・被告人は恐れ多いが談話者でない」ということは嘘だ」ということは真実だ fact9: もし「あのまやかしは白しないし更に低くない」ということは間違いだとしたらあの平衡砂は修理する fact10: 「あのまやかしは低くて恐れ多い」ということは間違いだ fact11: 「あの平衡砂は恐れ多いけど修理しない」ということは誤りだ fact12: 仮にあの平衡砂は白しならば「あのまやかしは修理する」ということは本当だ fact13: もしあの平衡砂が白しとしたらあのまやかしは談話者である fact14: もし仮に「「恐れ多いが談話者でない」ということは成り立たない」物があればあの平衡砂は談話者である ; $hypothesis$ = もしも「あのまやかしは白しないしその上低くない」ということは嘘ならあの平衡砂は排水しない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あのまやかしは白しないし加えて低くない」ということは成り立たない; fact9 & assump2 -> int1: あの平衡砂は修理する; void -> assump1: 以下のように仮定する。あの平衡砂は排水する; int1 & assump1 -> int2: 「あの平衡砂は修理するしかつ排水する」ということは本当である; int2 & fact6 -> int3: あの平衡砂は談話者でない; fact8 -> int4: 「「恐れ多いがしかし談話者でない」ということは確かでない」物はある; int4 & fact14 -> int5: あの平衡砂は談話者である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの平衡砂は排水しない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: あの平衡砂が談話者だしおまけに低いならそれは恐れ多くない
事実2: その被疑者・被告人は発行決議だ
事実3: もしあの平衡砂が排水するしまた恐れ多いとしたらそれは談話者でない
事実4: 「「その被疑者・被告人が白しないしさらに恐れ多くない」ということは成り立つ」ということは嘘だ
事実5: もしも「あのまやかしは恐れ多くなくてその上それは談話者でない」ということは成り立たないならその被疑者・被告人は低い
事実6: あの平衡砂が修理するし加えてそれが排水するとすればそれは談話者でない
事実7: 「「談話者であるしさらに修理しない」ということは成り立たない」ものがあるとすればあの平衡砂は修理する
事実8: 「「その被疑者・被告人は恐れ多いが談話者でない」ということは嘘だ」ということは真実だ
事実9: もし「あのまやかしは白しないし更に低くない」ということは間違いだとしたらあの平衡砂は修理する
事実10: 「あのまやかしは低くて恐れ多い」ということは間違いだ
事実11: 「あの平衡砂は恐れ多いけど修理しない」ということは誤りだ
事実12: 仮にあの平衡砂は白しならば「あのまやかしは修理する」ということは本当だ
事実13: もしあの平衡砂が白しとしたらあのまやかしは談話者である
事実14: もし仮に「「恐れ多いが談話者でない」ということは成り立たない」物があればあの平衡砂は談話者である

仮説: もしも「あのまやかしは白しないしその上低くない」ということは嘘ならあの平衡砂は排水しない
1. 仮定2: 以下のように仮定する。「あのまやかしは白しないし加えて低くない」ということは成り立たない
2. 事実9と仮定2から、推論1: "あの平衡砂は修理する"が導かれる
3. 仮定1: 以下のように仮定する。あの平衡砂は排水する
4. 推論1と仮定1から、推論2: "「あの平衡砂は修理するしかつ排水する」ということは本当である"が導かれる
5. 推論2と事実6から、推論3: "あの平衡砂は談話者でない"が導かれる
6. 事実8から、推論4: "「「恐れ多いがしかし談話者でない」ということは確かでない」物はある"が導かれる
7. 推論4と事実14から、推論5: "あの平衡砂は談話者である"が導かれる
8. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "あの平衡砂は排水しない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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