その拘束具は発展しない
fact1: もし仮に「その北西部はむくつけし」ということは成り立つとすれば「発展するということはないし更にそれは英雄達でない」ということは誤りである fact2: もし「なにかは発展する」ということは本当であるとすれば「それは下働きであるけど不足し易いということはない」ということは正しい fact3: 何かは復するということはないが退色し易い fact4: もし仮に「「その北西部は思い易いかあるいはむくつけしない」ということは事実だ」ということは間違いだとするとその拘束具はむくつけし fact5: もしも何かはむくつけしとすれば「それは不足し易くないしさらに英雄達でない」ということは成り立たない fact6: もし仮に「なにがしかのものは不足し易くないしおまけに英雄達でない」ということは間違っているとすればそれは発展しない fact7: もし仮にその北西部が不足し易いならば下働きでなくておまけにそれは見出だし難い fact8: 仮に「下働きでなくて見出だし難い」物があるとしたらその拘束具は発展する fact9: その北西部は不足し易い
fact7 & fact9 -> int1: その北西部は下働きでないけれど見出だし難い; int1 -> int2: 「下働きでないし加えて見出だし難い」ものはある; int2 & fact8 -> hypothesis;
fact7 & fact9 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: (Ex): (¬{AA}x & {AB}x); int2 & fact8 -> hypothesis;
「その拘束具は発展しない」ということは確かだ
fact10 -> int3: もしも「「その拘束具は不足し易いということはないしまた英雄達でない」ということは嘘である」ということは成り立つとすると「それは発展しない」ということは正しい; fact11 -> int4: もし仮に「その拘束具はむくつけし」ということは真実ならば「それは不足し易くないしかつ英雄達でない」ということは間違いだ;
$facts$ = fact1: もし仮に「その北西部はむくつけし」ということは成り立つとすれば「発展するということはないし更にそれは英雄達でない」ということは誤りである fact2: もし「なにかは発展する」ということは本当であるとすれば「それは下働きであるけど不足し易いということはない」ということは正しい fact3: 何かは復するということはないが退色し易い fact4: もし仮に「「その北西部は思い易いかあるいはむくつけしない」ということは事実だ」ということは間違いだとするとその拘束具はむくつけし fact5: もしも何かはむくつけしとすれば「それは不足し易くないしさらに英雄達でない」ということは成り立たない fact6: もし仮に「なにがしかのものは不足し易くないしおまけに英雄達でない」ということは間違っているとすればそれは発展しない fact7: もし仮にその北西部が不足し易いならば下働きでなくておまけにそれは見出だし難い fact8: 仮に「下働きでなくて見出だし難い」物があるとしたらその拘束具は発展する fact9: その北西部は不足し易い ; $hypothesis$ = その拘束具は発展しない ; $proof$ = 
fact7 & fact9 -> int1: その北西部は下働きでないけれど見出だし難い; int1 -> int2: 「下働きでないし加えて見出だし難い」ものはある; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮に「その北西部はむくつけし」ということは成り立つとすれば「発展するということはないし更にそれは英雄達でない」ということは誤りである
事実2: もし「なにかは発展する」ということは本当であるとすれば「それは下働きであるけど不足し易いということはない」ということは正しい
事実3: 何かは復するということはないが退色し易い
事実4: もし仮に「「その北西部は思い易いかあるいはむくつけしない」ということは事実だ」ということは間違いだとするとその拘束具はむくつけし
事実5: もしも何かはむくつけしとすれば「それは不足し易くないしさらに英雄達でない」ということは成り立たない
事実6: もし仮に「なにがしかのものは不足し易くないしおまけに英雄達でない」ということは間違っているとすればそれは発展しない
事実7: もし仮にその北西部が不足し易いならば下働きでなくておまけにそれは見出だし難い
事実8: 仮に「下働きでなくて見出だし難い」物があるとしたらその拘束具は発展する
事実9: その北西部は不足し易い

仮説: その拘束具は発展しない
1. 事実7と事実9から、推論1: "その北西部は下働きでないけれど見出だし難い"が導かれる
2. 推論1から、推論2: "「下働きでないし加えて見出だし難い」ものはある"が導かれる
3. 推論2と事実8から、仮説が否定される

よって、仮説が否定されました。