「仮にタイガであるなら任せ為さる」物はある
fact1: もし仮になんらかのものはそそっかしいとすると「それは連れないかそれは凹面鏡でないかまたは両方である」ということは成り立たない fact2: 「その自然石は坑門だということはないかまたはそれは水臭くない」ということは事実と異なる fact3: 「とあるものは連れないかもしくはそれは垣でないかまたはどちらもだ」ということは偽であるとしたら任せ為さる fact4: 「その超大作はタイガだ」ということは間違っていないとすると「連れないかあるいは垣でないかあるいはどちらもだ」ということは間違いである fact5: もし仮にその超大作がタイガならば連れる fact6: もし「なにかは連れるかあるいは垣でない」ということは誤りであるなら「それは任せ為さる」ということは事実だ fact7: 仮に「その超大作は連れるかそれは垣でない」ということは本当でないならばそれは任せ為さる
void -> assump1: 以下のように仮定する。その超大作はタイガだ; fact4 & assump1 -> int1: 「その超大作は連れないか垣でないかもしくは両方である」ということは間違っている; fact3 -> int2: もしも「その超大作は連れないかあるいはそれは垣だということはない」ということは偽だとすればそれは任せ為さる; int1 & int2 -> int3: その超大作は任せ為さる; [assump1] & int3 -> int4: もしもその超大作はタイガであるとしたら任せ為さる; int4 -> hypothesis;
その心機能はそそっかしいなら「それは連れないか凹面鏡でないかもしくは両方ともである」ということは間違っている
fact8 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものはそそっかしいとすると「それは連れないかそれは凹面鏡でないかまたは両方である」ということは成り立たない fact2: 「その自然石は坑門だということはないかまたはそれは水臭くない」ということは事実と異なる fact3: 「とあるものは連れないかもしくはそれは垣でないかまたはどちらもだ」ということは偽であるとしたら任せ為さる fact4: 「その超大作はタイガだ」ということは間違っていないとすると「連れないかあるいは垣でないかあるいはどちらもだ」ということは間違いである fact5: もし仮にその超大作がタイガならば連れる fact6: もし「なにかは連れるかあるいは垣でない」ということは誤りであるなら「それは任せ為さる」ということは事実だ fact7: 仮に「その超大作は連れるかそれは垣でない」ということは本当でないならばそれは任せ為さる ; $hypothesis$ = 「仮にタイガであるなら任せ為さる」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その超大作はタイガだ; fact4 & assump1 -> int1: 「その超大作は連れないか垣でないかもしくは両方である」ということは間違っている; fact3 -> int2: もしも「その超大作は連れないかあるいはそれは垣だということはない」ということは偽だとすればそれは任せ為さる; int1 & int2 -> int3: その超大作は任せ為さる; [assump1] & int3 -> int4: もしもその超大作はタイガであるとしたら任せ為さる; int4 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものはそそっかしいとすると「それは連れないかそれは凹面鏡でないかまたは両方である」ということは成り立たない
事実2: 「その自然石は坑門だということはないかまたはそれは水臭くない」ということは事実と異なる
事実3: 「とあるものは連れないかもしくはそれは垣でないかまたはどちらもだ」ということは偽であるとしたら任せ為さる
事実4: 「その超大作はタイガだ」ということは間違っていないとすると「連れないかあるいは垣でないかあるいはどちらもだ」ということは間違いである
事実5: もし仮にその超大作がタイガならば連れる
事実6: もし「なにかは連れるかあるいは垣でない」ということは誤りであるなら「それは任せ為さる」ということは事実だ
事実7: 仮に「その超大作は連れるかそれは垣でない」ということは本当でないならばそれは任せ為さる

仮説: 「仮にタイガであるなら任せ為さる」物はある
1. 仮定1: 以下のように仮定する。その超大作はタイガだ
2. 事実4と仮定1から、推論1: "「その超大作は連れないか垣でないかもしくは両方である」ということは間違っている"が導かれる
3. 事実3から、推論2: "もしも「その超大作は連れないかあるいはそれは垣だということはない」ということは偽だとすればそれは任せ為さる"が導かれる
4. 推論1と推論2から、推論3: "その超大作は任せ為さる"が導かれる
5. [仮定1]と推論3から、推論4: "もしもその超大作はタイガであるとしたら任せ為さる"が導かれる
6. 推論4から、仮説が導かれる

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