あのキャニング派は値切る
fact1: この難度は楽屋でない fact2: 御存じ無い物が止む無いとすれば役立ち得ない fact3: もし仮にこの難度は役立ち得ないとしたら「それは立て難くなくてそれは楽屋である」ということは成り立たない fact4: その特定施設は好季節でない fact5: もしも「あのキャニング派は値切るかあるいは楽屋であるということはないか両方ともである」ということは間違いならば「この絡繰舞台は立て難いということはない」ということは真実だ fact6: もしもこの難度が手続き出来ないならそれが止む無いしその上それは発達し過ぎる fact7: この難度は手続き出来るということはない fact8: 仮にこの難度は楽屋でないなら「その特定施設は形成され易くないか湿気易いということはないかもしくは両方ともだ」ということは誤っている fact9: 仮にこの絡繰舞台は立て難いということはないとすれば「「あのキャニング派は立て難くないがそれは役立ち得る」ということは成り立つということはない」ということは成り立つ fact10: もし仮に「なんらかのものは立て難くないけど役立ち得る」ということは成り立たないなら値切る fact11: 「その特定施設は打破だということはないか立て難くないかあるいは両方である」ということは間違いである fact12: あの御赦免は湿気易くない fact13: もし仮にある物が好季節でないならばこの難度は御存じ無くてかつ綴る fact14: 仮に「その特定施設は形成され易いということはないかもしくは湿気易くない」ということは間違っていればこの絡繰舞台は立て難くない fact15: この難度は役立ち得ない fact16: もし「この絡繰舞台は立て難くない」ということは事実だとすると「あのキャニング派は立て難いしおまけに役立ち得る」ということは誤りだ
fact8 & fact1 -> int1: 「その特定施設は形成され易いということはないかまたは湿気易いということはないかまたは両方である」ということは間違いだ; int1 & fact14 -> int2: この絡繰舞台は立て難くない; int2 & fact9 -> int3: 「あのキャニング派は立て難いということはないけれど役立ち得る」ということは成り立たない; fact10 -> int4: もしも「あのキャニング派は立て難くないがしかし役立ち得る」ということは間違いであるなら値切る; int3 & int4 -> hypothesis;
あのキャニング派は値切らない
fact20 -> int5: 仮にこの難度は御存じ無いし止む無いとしたらそれは役立ち得ない; fact19 -> int6: なんらかのものは好季節でない; int6 & fact17 -> int7: この難度は御存じ無いし綴る; int7 -> int8: この難度は御存じ無い; fact21 & fact18 -> int9: この難度は止む無いしまたそれは発達し過ぎる; int9 -> int10: この難度は止む無い; int8 & int10 -> int11: この難度は御存じ無いしおまけに止む無い; int5 & int11 -> int12: この難度は役立ち得ない; fact22 & int12 -> int13: 「この難度は立て難いということはないがしかし楽屋だ」ということは事実と異なる; int13 -> int14: 「「立て難くなくて楽屋である」ということは誤りである」物はある;
$facts$ = fact1: この難度は楽屋でない fact2: 御存じ無い物が止む無いとすれば役立ち得ない fact3: もし仮にこの難度は役立ち得ないとしたら「それは立て難くなくてそれは楽屋である」ということは成り立たない fact4: その特定施設は好季節でない fact5: もしも「あのキャニング派は値切るかあるいは楽屋であるということはないか両方ともである」ということは間違いならば「この絡繰舞台は立て難いということはない」ということは真実だ fact6: もしもこの難度が手続き出来ないならそれが止む無いしその上それは発達し過ぎる fact7: この難度は手続き出来るということはない fact8: 仮にこの難度は楽屋でないなら「その特定施設は形成され易くないか湿気易いということはないかもしくは両方ともだ」ということは誤っている fact9: 仮にこの絡繰舞台は立て難いということはないとすれば「「あのキャニング派は立て難くないがそれは役立ち得る」ということは成り立つということはない」ということは成り立つ fact10: もし仮に「なんらかのものは立て難くないけど役立ち得る」ということは成り立たないなら値切る fact11: 「その特定施設は打破だということはないか立て難くないかあるいは両方である」ということは間違いである fact12: あの御赦免は湿気易くない fact13: もし仮にある物が好季節でないならばこの難度は御存じ無くてかつ綴る fact14: 仮に「その特定施設は形成され易いということはないかもしくは湿気易くない」ということは間違っていればこの絡繰舞台は立て難くない fact15: この難度は役立ち得ない fact16: もし「この絡繰舞台は立て難くない」ということは事実だとすると「あのキャニング派は立て難いしおまけに役立ち得る」ということは誤りだ ; $hypothesis$ = あのキャニング派は値切る ; $proof$ = 
fact8 & fact1 -> int1: 「その特定施設は形成され易いということはないかまたは湿気易いということはないかまたは両方である」ということは間違いだ; int1 & fact14 -> int2: この絡繰舞台は立て難くない; int2 & fact9 -> int3: 「あのキャニング派は立て難いということはないけれど役立ち得る」ということは成り立たない; fact10 -> int4: もしも「あのキャニング派は立て難くないがしかし役立ち得る」ということは間違いであるなら値切る; int3 & int4 -> hypothesis; __PROVED__
事実1: この難度は楽屋でない
事実2: 御存じ無い物が止む無いとすれば役立ち得ない
事実3: もし仮にこの難度は役立ち得ないとしたら「それは立て難くなくてそれは楽屋である」ということは成り立たない
事実4: その特定施設は好季節でない
事実5: もしも「あのキャニング派は値切るかあるいは楽屋であるということはないか両方ともである」ということは間違いならば「この絡繰舞台は立て難いということはない」ということは真実だ
事実6: もしもこの難度が手続き出来ないならそれが止む無いしその上それは発達し過ぎる
事実7: この難度は手続き出来るということはない
事実8: 仮にこの難度は楽屋でないなら「その特定施設は形成され易くないか湿気易いということはないかもしくは両方ともだ」ということは誤っている
事実9: 仮にこの絡繰舞台は立て難いということはないとすれば「「あのキャニング派は立て難くないがそれは役立ち得る」ということは成り立つということはない」ということは成り立つ
事実10: もし仮に「なんらかのものは立て難くないけど役立ち得る」ということは成り立たないなら値切る
事実11: 「その特定施設は打破だということはないか立て難くないかあるいは両方である」ということは間違いである
事実12: あの御赦免は湿気易くない
事実13: もし仮にある物が好季節でないならばこの難度は御存じ無くてかつ綴る
事実14: 仮に「その特定施設は形成され易いということはないかもしくは湿気易くない」ということは間違っていればこの絡繰舞台は立て難くない
事実15: この難度は役立ち得ない
事実16: もし「この絡繰舞台は立て難くない」ということは事実だとすると「あのキャニング派は立て難いしおまけに役立ち得る」ということは誤りだ

仮説: あのキャニング派は値切る
1. 事実8と事実1から、推論1: "「その特定施設は形成され易いということはないかまたは湿気易いということはないかまたは両方である」ということは間違いだ"が導かれる
2. 推論1と事実14から、推論2: "この絡繰舞台は立て難くない"が導かれる
3. 推論2と事実9から、推論3: "「あのキャニング派は立て難いということはないけれど役立ち得る」ということは成り立たない"が導かれる
4. 事実10から、推論4: "もしも「あのキャニング派は立て難くないがしかし役立ち得る」ということは間違いであるなら値切る"が導かれる
5. 推論3と推論4から、仮説が導かれる

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