仮にあの絶対無は養生するとしたら「その湯船は手相でない」ということは成り立つ
fact1: 「この左手人差し指は小暗いがしかし纏まり易くない」ということは誤りである fact2: 「「小暗くなくてそれに纏まり易いということはない」ということは嘘な」ものがあるとしたらその湯船は手相でない fact3: 「小暗くないししかも纏まり易くない」ものはある fact4: もし仮に「「手相でなくてしかも纏まり易くない」ということは嘘な」ものがあるならこの左手人差し指は養生する fact5: その高姿勢は取っ付き難い fact6: その餡こは養生する fact7: 仮にあの絶対無は養生するなら「この左手人差し指は小暗いけど纏まり易くない」ということは事実と異なる fact8: 仮にあの絶対無は纏まり易いならば「その湯船は養生しないし手相でない」ということは成り立たない fact9: あの出生数は養生しない fact10: もし仮にあの絶対無は養生するとすると「その湯船は手相だ」ということは事実である fact11: 「「小暗いが纏まり易くない」ということは誤りな」ものはある fact12: もしもあの絶対無は養生するとしたら「この左手人差し指は小暗くなくて纏まり易いということはない」ということは事実と異なる fact13: その湯船は手相である fact14: 「この左手人差し指は手相でないし纏まり易くない」ということは嘘である fact15: あの絶対無は小暗くない fact16: 「「この左手人差し指は養生しないしかつ纏まり易くない」ということは成り立たない」ということは成り立つ fact17: 「「小暗くないし加えて纏まり易い」ということは成り立たない」物はある fact18: 「小暗い」物はあれば「その湯船は手相でない」ということは成り立つ fact19: 仮に「「小暗くなくてかつ纏まり易くない」ということは間違いな」物はあるなら「その湯船は手相である」ということは成り立つ
void -> assump1: 以下のように仮定する。あの絶対無は養生する; fact12 & assump1 -> int1: 「この左手人差し指は小暗くなくてその上纏まり易いない」ということは事実と異なる; int1 -> int2: 「「「小暗くなくて纏まり易くない」ということは成り立たない」物はある」ということは事実である; int2 & fact2 -> int3: 「その湯船は手相でない」ということは事実だ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「この左手人差し指は小暗いがしかし纏まり易くない」ということは誤りである fact2: 「「小暗くなくてそれに纏まり易いということはない」ということは嘘な」ものがあるとしたらその湯船は手相でない fact3: 「小暗くないししかも纏まり易くない」ものはある fact4: もし仮に「「手相でなくてしかも纏まり易くない」ということは嘘な」ものがあるならこの左手人差し指は養生する fact5: その高姿勢は取っ付き難い fact6: その餡こは養生する fact7: 仮にあの絶対無は養生するなら「この左手人差し指は小暗いけど纏まり易くない」ということは事実と異なる fact8: 仮にあの絶対無は纏まり易いならば「その湯船は養生しないし手相でない」ということは成り立たない fact9: あの出生数は養生しない fact10: もし仮にあの絶対無は養生するとすると「その湯船は手相だ」ということは事実である fact11: 「「小暗いが纏まり易くない」ということは誤りな」ものはある fact12: もしもあの絶対無は養生するとしたら「この左手人差し指は小暗くなくて纏まり易いということはない」ということは事実と異なる fact13: その湯船は手相である fact14: 「この左手人差し指は手相でないし纏まり易くない」ということは嘘である fact15: あの絶対無は小暗くない fact16: 「「この左手人差し指は養生しないしかつ纏まり易くない」ということは成り立たない」ということは成り立つ fact17: 「「小暗くないし加えて纏まり易い」ということは成り立たない」物はある fact18: 「小暗い」物はあれば「その湯船は手相でない」ということは成り立つ fact19: 仮に「「小暗くなくてかつ纏まり易くない」ということは間違いな」物はあるなら「その湯船は手相である」ということは成り立つ ; $hypothesis$ = 仮にあの絶対無は養生するとしたら「その湯船は手相でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの絶対無は養生する; fact12 & assump1 -> int1: 「この左手人差し指は小暗くなくてその上纏まり易いない」ということは事実と異なる; int1 -> int2: 「「「小暗くなくて纏まり易くない」ということは成り立たない」物はある」ということは事実である; int2 & fact2 -> int3: 「その湯船は手相でない」ということは事実だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この左手人差し指は小暗いがしかし纏まり易くない」ということは誤りである
事実2: 「「小暗くなくてそれに纏まり易いということはない」ということは嘘な」ものがあるとしたらその湯船は手相でない
事実3: 「小暗くないししかも纏まり易くない」ものはある
事実4: もし仮に「「手相でなくてしかも纏まり易くない」ということは嘘な」ものがあるならこの左手人差し指は養生する
事実5: その高姿勢は取っ付き難い
事実6: その餡こは養生する
事実7: 仮にあの絶対無は養生するなら「この左手人差し指は小暗いけど纏まり易くない」ということは事実と異なる
事実8: 仮にあの絶対無は纏まり易いならば「その湯船は養生しないし手相でない」ということは成り立たない
事実9: あの出生数は養生しない
事実10: もし仮にあの絶対無は養生するとすると「その湯船は手相だ」ということは事実である
事実11: 「「小暗いが纏まり易くない」ということは誤りな」ものはある
事実12: もしもあの絶対無は養生するとしたら「この左手人差し指は小暗くなくて纏まり易いということはない」ということは事実と異なる
事実13: その湯船は手相である
事実14: 「この左手人差し指は手相でないし纏まり易くない」ということは嘘である
事実15: あの絶対無は小暗くない
事実16: 「「この左手人差し指は養生しないしかつ纏まり易くない」ということは成り立たない」ということは成り立つ
事実17: 「「小暗くないし加えて纏まり易い」ということは成り立たない」物はある
事実18: 「小暗い」物はあれば「その湯船は手相でない」ということは成り立つ
事実19: 仮に「「小暗くなくてかつ纏まり易くない」ということは間違いな」物はあるなら「その湯船は手相である」ということは成り立つ

仮説: 仮にあの絶対無は養生するとしたら「その湯船は手相でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。あの絶対無は養生する
2. 事実12と仮定1から、推論1: "「この左手人差し指は小暗くなくてその上纏まり易いない」ということは事実と異なる"が導かれる
3. 推論1から、推論2: "「「「小暗くなくて纏まり易くない」ということは成り立たない」物はある」ということは事実である"が導かれる
4. 推論2と事実2から、推論3: "「その湯船は手相でない」ということは事実だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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