もし仮にその引退は甲高いとしたら「舵取りでなくてかつ減殺しない」ということは確かでない
fact1: もしなにがしかの物はＴＶであるならば「それは減殺するしかつそれは甲高くない」ということは本当でない fact2: もし仮になんらかの物はＴＶであるとすれば「舵取りでなくてしかも減殺しない」ということは間違っている fact3: 「その引退は減殺しないし詰まり易くない」ということは成り立たない fact4: その引退が甲高いならばそれはＴＶである fact5: もしこの製剤は舵取りでないとすると「その引退は甲高くないししかもＴＶでない」ということは真実でない fact6: 仮にその引退が合わせ辛いとしたらそれは奥床しくないし衰微でない fact7: もしもその引退が踏み砕くとしたら御言でなくて加えて物凄ーくない fact8: 「人クローン規制法は自滅しないしその上峰雲だということはない」ということは間違いでない fact9: あの虫歯菌は人クローン規制法だ fact10: もしその引退は甲高いとすれば「それは舵取りであるけれど減殺するということはない」ということは事実であるということはない
void -> assump1: 以下のように仮定する。その引退は甲高い; fact4 & assump1 -> int1: その引退はＴＶだ; fact2 -> int2: もしその引退はＴＶであるとすると「それは舵取りでなくてそれは減殺しない」ということは誤りである; int1 & int2 -> int3: 「その引退は舵取りでないしその上減殺しない」ということは成り立たない; [assump1] & int3 -> hypothesis;
この傾きは減殺する
fact13 -> int4: あの虫歯菌が人クローン規制法であるとすればそれは自滅するということはなくてまた峰雲でない; int4 & fact11 -> int5: あの虫歯菌は自滅しなくてしかもそれは峰雲であるということはない; int5 -> int6: あの虫歯菌は峰雲でない; int6 -> int7: 何かは峰雲でない;
$facts$ = fact1: もしなにがしかの物はＴＶであるならば「それは減殺するしかつそれは甲高くない」ということは本当でない fact2: もし仮になんらかの物はＴＶであるとすれば「舵取りでなくてしかも減殺しない」ということは間違っている fact3: 「その引退は減殺しないし詰まり易くない」ということは成り立たない fact4: その引退が甲高いならばそれはＴＶである fact5: もしこの製剤は舵取りでないとすると「その引退は甲高くないししかもＴＶでない」ということは真実でない fact6: 仮にその引退が合わせ辛いとしたらそれは奥床しくないし衰微でない fact7: もしもその引退が踏み砕くとしたら御言でなくて加えて物凄ーくない fact8: 「人クローン規制法は自滅しないしその上峰雲だということはない」ということは間違いでない fact9: あの虫歯菌は人クローン規制法だ fact10: もしその引退は甲高いとすれば「それは舵取りであるけれど減殺するということはない」ということは事実であるということはない ; $hypothesis$ = もし仮にその引退は甲高いとしたら「舵取りでなくてかつ減殺しない」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その引退は甲高い; fact4 & assump1 -> int1: その引退はＴＶだ; fact2 -> int2: もしその引退はＴＶであるとすると「それは舵取りでなくてそれは減殺しない」ということは誤りである; int1 & int2 -> int3: 「その引退は舵取りでないしその上減殺しない」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしなにがしかの物はＴＶであるならば「それは減殺するしかつそれは甲高くない」ということは本当でない
事実2: もし仮になんらかの物はＴＶであるとすれば「舵取りでなくてしかも減殺しない」ということは間違っている
事実3: 「その引退は減殺しないし詰まり易くない」ということは成り立たない
事実4: その引退が甲高いならばそれはＴＶである
事実5: もしこの製剤は舵取りでないとすると「その引退は甲高くないししかもＴＶでない」ということは真実でない
事実6: 仮にその引退が合わせ辛いとしたらそれは奥床しくないし衰微でない
事実7: もしもその引退が踏み砕くとしたら御言でなくて加えて物凄ーくない
事実8: 「人クローン規制法は自滅しないしその上峰雲だということはない」ということは間違いでない
事実9: あの虫歯菌は人クローン規制法だ
事実10: もしその引退は甲高いとすれば「それは舵取りであるけれど減殺するということはない」ということは事実であるということはない

仮説: もし仮にその引退は甲高いとしたら「舵取りでなくてかつ減殺しない」ということは確かでない
1. 仮定1: 以下のように仮定する。その引退は甲高い
2. 事実4と仮定1から、推論1: "その引退はＴＶだ"が導かれる
3. 事実2から、推論2: "もしその引退はＴＶであるとすると「それは舵取りでなくてそれは減殺しない」ということは誤りである"が導かれる
4. 推論1と推論2から、推論3: "「その引退は舵取りでないしその上減殺しない」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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