「「「もし仮に「支障無いということはない」ということは事実であるとしたら「切羽詰まらなくて形成され易いということはない」ということは嘘な」ものはある」ということは成り立つ」ということは誤りだ
fact1: 「もしも支障無くないとすれば切羽詰まらないし形成され易くない」ものはある fact2: もしもなにかは吸収し易くないとすると「それは作成すしそれにそれは垂涎でない」ということは誤りである fact3: 「もしも直面でないとすると「相通ぜないけれど解明す」ということは成り立つということはない」物はある fact4: もし仮になにがしかの物は押し退けるということはないなら「それは延伸する一方で分離し易くない」ということは誤りだ fact5: もし仮に何らかの物は支障無くないとすると「それは切羽詰まらなくてそれに形成され易くない」ということは誤っている fact6: もし仮にその南京錠は妻帯者でないとしたら「それは出来易くないし加えて切羽詰まるということはない」ということは確かだということはない fact7: 仮に何らかのものは求まらないとすると「注意深くなくてしかも貧しない」ということは成り立つということはない
fact5 -> int1: もしも「その車軸は支障無いということはない」ということは本当であるならば「それは切羽詰まらないし形成され易くない」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: 「もしも支障無くないとすれば切羽詰まらないし形成され易くない」ものはある fact2: もしもなにかは吸収し易くないとすると「それは作成すしそれにそれは垂涎でない」ということは誤りである fact3: 「もしも直面でないとすると「相通ぜないけれど解明す」ということは成り立つということはない」物はある fact4: もし仮になにがしかの物は押し退けるということはないなら「それは延伸する一方で分離し易くない」ということは誤りだ fact5: もし仮に何らかの物は支障無くないとすると「それは切羽詰まらなくてそれに形成され易くない」ということは誤っている fact6: もし仮にその南京錠は妻帯者でないとしたら「それは出来易くないし加えて切羽詰まるということはない」ということは確かだということはない fact7: 仮に何らかのものは求まらないとすると「注意深くなくてしかも貧しない」ということは成り立つということはない ; $hypothesis$ = 「「「もし仮に「支障無いということはない」ということは事実であるとしたら「切羽詰まらなくて形成され易いということはない」ということは嘘な」ものはある」ということは成り立つ」ということは誤りだ ; $proof$ = 
fact5 -> int1: もしも「その車軸は支障無いということはない」ということは本当であるならば「それは切羽詰まらないし形成され易くない」ということは間違いである; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも支障無くないとすれば切羽詰まらないし形成され易くない」ものはある
事実2: もしもなにかは吸収し易くないとすると「それは作成すしそれにそれは垂涎でない」ということは誤りである
事実3: 「もしも直面でないとすると「相通ぜないけれど解明す」ということは成り立つということはない」物はある
事実4: もし仮になにがしかの物は押し退けるということはないなら「それは延伸する一方で分離し易くない」ということは誤りだ
事実5: もし仮に何らかの物は支障無くないとすると「それは切羽詰まらなくてそれに形成され易くない」ということは誤っている
事実6: もし仮にその南京錠は妻帯者でないとしたら「それは出来易くないし加えて切羽詰まるということはない」ということは確かだということはない
事実7: 仮に何らかのものは求まらないとすると「注意深くなくてしかも貧しない」ということは成り立つということはない

仮説: 「「「もし仮に「支障無いということはない」ということは事実であるとしたら「切羽詰まらなくて形成され易いということはない」ということは嘘な」ものはある」ということは成り立つ」ということは誤りだ
1. 事実5から、推論1: "もしも「その車軸は支障無いということはない」ということは本当であるならば「それは切羽詰まらないし形成され易くない」ということは間違いである"が導かれる
2. 推論1から、仮説が否定される

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