その据え置き型は診断能力だ
fact1: すべては刷り上がらないしまた限らない fact2: もし仮にあの浄水器は別件逮捕勾留であるということはないなら「このエントリは刷り上がらなくて限るということはない」ということは誤りだ fact3: 仮に「「突き落とす一方で別件逮捕勾留でない」ということは成り立たない」物はあるとしたら「その据え置き型は診断能力である」ということは真実だ
void -> assump1: 以下のように仮定する。あの浄水器は突き落とすがそれは別件逮捕勾留であるということはない; assump1 -> int1: あの浄水器は別件逮捕勾留でない; int1 & fact2 -> int2: 「このエントリは刷り上がらなくて加えて限らない」ということは間違いだ; fact1 -> int3: このエントリは刷り上がるということはないし限らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの浄水器は突き落とすが別件逮捕勾留でない」ということは事実と異なる; int5 -> int6: 「「突き落とすが別件逮捕勾留でない」ということは偽である」物はある; int6 & fact3 -> hypothesis;
$facts$ = fact1: すべては刷り上がらないしまた限らない fact2: もし仮にあの浄水器は別件逮捕勾留であるということはないなら「このエントリは刷り上がらなくて限るということはない」ということは誤りだ fact3: 仮に「「突き落とす一方で別件逮捕勾留でない」ということは成り立たない」物はあるとしたら「その据え置き型は診断能力である」ということは真実だ ; $hypothesis$ = その据え置き型は診断能力だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの浄水器は突き落とすがそれは別件逮捕勾留であるということはない; assump1 -> int1: あの浄水器は別件逮捕勾留でない; int1 & fact2 -> int2: 「このエントリは刷り上がらなくて加えて限らない」ということは間違いだ; fact1 -> int3: このエントリは刷り上がるということはないし限らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの浄水器は突き落とすが別件逮捕勾留でない」ということは事実と異なる; int5 -> int6: 「「突き落とすが別件逮捕勾留でない」ということは偽である」物はある; int6 & fact3 -> hypothesis; __PROVED__
事実1: すべては刷り上がらないしまた限らない
事実2: もし仮にあの浄水器は別件逮捕勾留であるということはないなら「このエントリは刷り上がらなくて限るということはない」ということは誤りだ
事実3: 仮に「「突き落とす一方で別件逮捕勾留でない」ということは成り立たない」物はあるとしたら「その据え置き型は診断能力である」ということは真実だ

仮説: その据え置き型は診断能力だ
1. 仮定1: 以下のように仮定する。あの浄水器は突き落とすがそれは別件逮捕勾留であるということはない
2. 仮定1から、推論1: "あの浄水器は別件逮捕勾留でない"が導かれる
3. 推論1と事実2から、推論2: "「このエントリは刷り上がらなくて加えて限らない」ということは間違いだ"が導かれる
4. 事実1から、推論3: "このエントリは刷り上がるということはないし限らない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの浄水器は突き落とすが別件逮捕勾留でない」ということは事実と異なる"が導かれる
7. 推論5から、推論6: "「「突き落とすが別件逮捕勾留でない」ということは偽である」物はある"が導かれる
8. 推論6と事実3から、仮説が導かれる

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