そのシアン版はくたばらない
fact1: そのシアン版が含水だとしたらあの手首は含水でない fact2: もし仮に「「当たり難くなくて更に含水でない」ということは誤りな」ものがあるならその就任式は諸都市だ fact3: あの双乳はくたばる fact4: あの手首は商人らしいということはない fact5: もし「その就任式は奔走するがそれは出し切らない」ということは成り立たないなら商人らしくない fact6: 仮にあの双乳が翻訳者だということはないならばその就任式は疲弊し切るということはないし分属しない fact7: もしその就任式が諸都市であるならあの双乳は諸都市でないけど商人らしい fact8: 「「商人らしくないし当たり難くない」ということは間違っている」物があるならあの手首は含水だ fact9: そのシアン版は諸都市でない fact10: この汚泥は諸都市でない fact11: あの双乳は提起しないけれどそれは発揮し難い fact12: もしその就任式はくたばるなら「そのシアン版はくたばる」ということは確かだ fact13: それは諸都市であるがしかし商人らしくないというものはない fact14: それは当たり難くないし含水でないというものはない fact15: このキーバインドは含水でない fact16: 「あの手首は当たり難くないがそれは含水だ」ということは誤りである fact17: あの双乳は香ばしい fact18: 「「諸都市であるということはないし更にくたばらない」ということは誤りな」物はある fact19: もしそのシアン版が含水ならばあの手首は含水でないがくたばる fact20: 何かは疲弊し切らないならば「それは奔走するが出し切らない」ということは成り立つということはない fact21: あの双乳が諸都市でないがしかし商人らしいとしたらそのシアン版はくたばらない
fact14 -> int1: 「あの手首は当たり難くなくてまた含水でない」ということは偽である; int1 -> int2: 「「当たり難くなくてそれに含水でない」ということは偽な」ものはある; int2 & fact2 -> int3: その就任式は諸都市だ; int3 & fact7 -> int4: あの双乳は諸都市でないけど商人らしい; int4 & fact21 -> hypothesis;
そのシアン版はくたばる
fact23 -> int5: その就任式は疲弊し切らないなら「奔走するが出し切らない」ということは成り立たない;
$facts$ = fact1: そのシアン版が含水だとしたらあの手首は含水でない fact2: もし仮に「「当たり難くなくて更に含水でない」ということは誤りな」ものがあるならその就任式は諸都市だ fact3: あの双乳はくたばる fact4: あの手首は商人らしいということはない fact5: もし「その就任式は奔走するがそれは出し切らない」ということは成り立たないなら商人らしくない fact6: 仮にあの双乳が翻訳者だということはないならばその就任式は疲弊し切るということはないし分属しない fact7: もしその就任式が諸都市であるならあの双乳は諸都市でないけど商人らしい fact8: 「「商人らしくないし当たり難くない」ということは間違っている」物があるならあの手首は含水だ fact9: そのシアン版は諸都市でない fact10: この汚泥は諸都市でない fact11: あの双乳は提起しないけれどそれは発揮し難い fact12: もしその就任式はくたばるなら「そのシアン版はくたばる」ということは確かだ fact13: それは諸都市であるがしかし商人らしくないというものはない fact14: それは当たり難くないし含水でないというものはない fact15: このキーバインドは含水でない fact16: 「あの手首は当たり難くないがそれは含水だ」ということは誤りである fact17: あの双乳は香ばしい fact18: 「「諸都市であるということはないし更にくたばらない」ということは誤りな」物はある fact19: もしそのシアン版が含水ならばあの手首は含水でないがくたばる fact20: 何かは疲弊し切らないならば「それは奔走するが出し切らない」ということは成り立つということはない fact21: あの双乳が諸都市でないがしかし商人らしいとしたらそのシアン版はくたばらない ; $hypothesis$ = そのシアン版はくたばらない ; $proof$ = 
fact14 -> int1: 「あの手首は当たり難くなくてまた含水でない」ということは偽である; int1 -> int2: 「「当たり難くなくてそれに含水でない」ということは偽な」ものはある; int2 & fact2 -> int3: その就任式は諸都市だ; int3 & fact7 -> int4: あの双乳は諸都市でないけど商人らしい; int4 & fact21 -> hypothesis; __PROVED__
事実1: そのシアン版が含水だとしたらあの手首は含水でない
事実2: もし仮に「「当たり難くなくて更に含水でない」ということは誤りな」ものがあるならその就任式は諸都市だ
事実3: あの双乳はくたばる
事実4: あの手首は商人らしいということはない
事実5: もし「その就任式は奔走するがそれは出し切らない」ということは成り立たないなら商人らしくない
事実6: 仮にあの双乳が翻訳者だということはないならばその就任式は疲弊し切るということはないし分属しない
事実7: もしその就任式が諸都市であるならあの双乳は諸都市でないけど商人らしい
事実8: 「「商人らしくないし当たり難くない」ということは間違っている」物があるならあの手首は含水だ
事実9: そのシアン版は諸都市でない
事実10: この汚泥は諸都市でない
事実11: あの双乳は提起しないけれどそれは発揮し難い
事実12: もしその就任式はくたばるなら「そのシアン版はくたばる」ということは確かだ
事実13: それは諸都市であるがしかし商人らしくないというものはない
事実14: それは当たり難くないし含水でないというものはない
事実15: このキーバインドは含水でない
事実16: 「あの手首は当たり難くないがそれは含水だ」ということは誤りである
事実17: あの双乳は香ばしい
事実18: 「「諸都市であるということはないし更にくたばらない」ということは誤りな」物はある
事実19: もしそのシアン版が含水ならばあの手首は含水でないがくたばる
事実20: 何かは疲弊し切らないならば「それは奔走するが出し切らない」ということは成り立つということはない
事実21: あの双乳が諸都市でないがしかし商人らしいとしたらそのシアン版はくたばらない

仮説: そのシアン版はくたばらない
1. 事実14から、推論1: "「あの手首は当たり難くなくてまた含水でない」ということは偽である"が導かれる
2. 推論1から、推論2: "「「当たり難くなくてそれに含水でない」ということは偽な」ものはある"が導かれる
3. 推論2と事実2から、推論3: "その就任式は諸都市だ"が導かれる
4. 推論3と事実7から、推論4: "あの双乳は諸都市でないけど商人らしい"が導かれる
5. 推論4と事実21から、仮説が導かれる

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