「「「手の者であるかもしくは稚気であるかあるいはどちらもだ」ということは偽である」物はある」ということは本当である
fact1: 「とある物は手の者であるかあるいは稚気だ」ということは正しい fact2: 「稚気でない」ものはある fact3: 仮になにかは手の者だということはないとすれば「操作し易くない」ということは成り立つ fact4: 「その第一選択は手の者である一方で養子縁組しない」ということは成り立たないとすると手の者だということはない fact5: なにがしかのものは操作し易い fact6: 「手の者だということはない」物はある fact7: 仮にとあるものは操作し易くないとすると「「痛撃するかあるいはそれは貸し金業である」ということは成り立つ」ということは嘘である fact8: 仮に何らかのものが操作し易いとしたらあの核左方移動は稚気であるということはない fact9: もしも「操作し易い」ものはあるなら「あの核左方移動は手の者であるかあるいはそれは稚気であるかまたは両方ともだ」ということは事実と異なる fact10: あの核左方移動は稚気であるということはない fact11: もし仮に何かは稚気だということはないならば「手の者である一方で養子縁組するということはない」ということは成り立たない
fact5 & fact9 -> int1: 「あの核左方移動は手の者であるかもしくは稚気であるかどちらもだ」ということは間違いだ; int1 -> hypothesis;
「その第一選択は痛撃するかそれは貸し金業だ」ということは間違いだ
fact14 -> int2: もし仮にその第一選択は操作し易くないとすると「痛撃するか貸し金業だ」ということは嘘である; fact12 -> int3: 仮にその第一選択が手の者だということはないならば操作し易くない; fact15 -> int4: もし仮に「その第一選択は稚気でない」ということは本当であるとしたら「それは手の者であるしおまけに養子縁組しない」ということは誤りである;
$facts$ = fact1: 「とある物は手の者であるかあるいは稚気だ」ということは正しい fact2: 「稚気でない」ものはある fact3: 仮になにかは手の者だということはないとすれば「操作し易くない」ということは成り立つ fact4: 「その第一選択は手の者である一方で養子縁組しない」ということは成り立たないとすると手の者だということはない fact5: なにがしかのものは操作し易い fact6: 「手の者だということはない」物はある fact7: 仮にとあるものは操作し易くないとすると「「痛撃するかあるいはそれは貸し金業である」ということは成り立つ」ということは嘘である fact8: 仮に何らかのものが操作し易いとしたらあの核左方移動は稚気であるということはない fact9: もしも「操作し易い」ものはあるなら「あの核左方移動は手の者であるかあるいはそれは稚気であるかまたは両方ともだ」ということは事実と異なる fact10: あの核左方移動は稚気であるということはない fact11: もし仮に何かは稚気だということはないならば「手の者である一方で養子縁組するということはない」ということは成り立たない ; $hypothesis$ = 「「「手の者であるかもしくは稚気であるかあるいはどちらもだ」ということは偽である」物はある」ということは本当である ; $proof$ = 
fact5 & fact9 -> int1: 「あの核左方移動は手の者であるかもしくは稚気であるかどちらもだ」ということは間違いだ; int1 -> hypothesis; __PROVED__
事実1: 「とある物は手の者であるかあるいは稚気だ」ということは正しい
事実2: 「稚気でない」ものはある
事実3: 仮になにかは手の者だということはないとすれば「操作し易くない」ということは成り立つ
事実4: 「その第一選択は手の者である一方で養子縁組しない」ということは成り立たないとすると手の者だということはない
事実5: なにがしかのものは操作し易い
事実6: 「手の者だということはない」物はある
事実7: 仮にとあるものは操作し易くないとすると「「痛撃するかあるいはそれは貸し金業である」ということは成り立つ」ということは嘘である
事実8: 仮に何らかのものが操作し易いとしたらあの核左方移動は稚気であるということはない
事実9: もしも「操作し易い」ものはあるなら「あの核左方移動は手の者であるかあるいはそれは稚気であるかまたは両方ともだ」ということは事実と異なる
事実10: あの核左方移動は稚気であるということはない
事実11: もし仮に何かは稚気だということはないならば「手の者である一方で養子縁組するということはない」ということは成り立たない

仮説: 「「「手の者であるかもしくは稚気であるかあるいはどちらもだ」ということは偽である」物はある」ということは本当である
1. 事実5と事実9から、推論1: "「あの核左方移動は手の者であるかもしくは稚気であるかどちらもだ」ということは間違いだ"が導かれる
2. 推論1から、仮説が導かれる

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