「仮に「御偉くないし加えて争議権だ」ということは偽であるならば来難くない」ものはある
fact1: もしその鉗子は争議権であるということはないとしたら「来難いということはない」ということは本当だ fact2: 仮に「その四公団は申告しないけれど刻苦する」ということは間違っているとすれば温かくない fact3: もしその鉗子は御偉くないけれど争議権だとすればそれは来難くない fact4: 「「御偉い」ということは本当であるとすれば来難くない」ものはある fact5: 「「汚れ易くないけれど信心だ」ということは誤っているとすると癸未年だということはない」ものはある fact6: もしも「その鉗子は御偉くないけれどそれは争議権である」ということは誤りなら来難くない fact7: 「もしも「争議権でない」ということは成り立てば「来難くない」ということは確かな」ものはある fact8: もし仮に「「なにがしかのものは補給出来るということはないがしかし信じ始める」ということは成り立つ」ということは成り立たないならば「製品化しない」ということは確かである fact9: 仮に「なにかは遊ばさない一方で女性らしい」ということは間違いだとすれば争議権でない fact10: 「御偉いということはないがしかし争議権であるとすると来難くない」物はある fact11: 「もし「並外れないし徒らっぽい」ということは誤りであるとすると合葬しない」ものはある fact12: 仮に「その鉗子は御偉くないがしかし争議権だ」ということは成り立つということはないならば「それは来難い」ということは確かだ fact13: 「もし「小難しくないがしかし有価証券届け出書である」ということは誤りだとしたら止む無いということはない」物はある fact14: 「「御偉くないけど争議権である」ということは正しくないとすれば来難い」ものはある fact15: 「もしも「御偉いし争議権だ」ということは成り立たないならば来難くない」物はある fact16: もしも「その鉗子は御偉いし加えてそれは争議権だ」ということは間違いであるとすれば来難くない fact17: 「仮に「開放出来ない一方で仮納付する」ということは成り立たないなら目覚ましくない」ものはある fact18: 「もし仮に「高しないが遂行する」ということは誤っているとしたら「甘ーくない」ということは確かである」ものはある
fact6 -> hypothesis;
「もし仮に「補給出来ないけれど信じ始める」ということは間違っているなら製品化しない」ものはある
fact19 -> int1: もし仮に「そのナースは補給出来ない一方で信じ始める」ということは成り立たないとすればそれは製品化しない; int1 -> hypothesis;
$facts$ = fact1: もしその鉗子は争議権であるということはないとしたら「来難いということはない」ということは本当だ fact2: 仮に「その四公団は申告しないけれど刻苦する」ということは間違っているとすれば温かくない fact3: もしその鉗子は御偉くないけれど争議権だとすればそれは来難くない fact4: 「「御偉い」ということは本当であるとすれば来難くない」ものはある fact5: 「「汚れ易くないけれど信心だ」ということは誤っているとすると癸未年だということはない」ものはある fact6: もしも「その鉗子は御偉くないけれどそれは争議権である」ということは誤りなら来難くない fact7: 「もしも「争議権でない」ということは成り立てば「来難くない」ということは確かな」ものはある fact8: もし仮に「「なにがしかのものは補給出来るということはないがしかし信じ始める」ということは成り立つ」ということは成り立たないならば「製品化しない」ということは確かである fact9: 仮に「なにかは遊ばさない一方で女性らしい」ということは間違いだとすれば争議権でない fact10: 「御偉いということはないがしかし争議権であるとすると来難くない」物はある fact11: 「もし「並外れないし徒らっぽい」ということは誤りであるとすると合葬しない」ものはある fact12: 仮に「その鉗子は御偉くないがしかし争議権だ」ということは成り立つということはないならば「それは来難い」ということは確かだ fact13: 「もし「小難しくないがしかし有価証券届け出書である」ということは誤りだとしたら止む無いということはない」物はある fact14: 「「御偉くないけど争議権である」ということは正しくないとすれば来難い」ものはある fact15: 「もしも「御偉いし争議権だ」ということは成り立たないならば来難くない」物はある fact16: もしも「その鉗子は御偉いし加えてそれは争議権だ」ということは間違いであるとすれば来難くない fact17: 「仮に「開放出来ない一方で仮納付する」ということは成り立たないなら目覚ましくない」ものはある fact18: 「もし仮に「高しないが遂行する」ということは誤っているとしたら「甘ーくない」ということは確かである」ものはある ; $hypothesis$ = 「仮に「御偉くないし加えて争議権だ」ということは偽であるならば来難くない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしその鉗子は争議権であるということはないとしたら「来難いということはない」ということは本当だ
事実2: 仮に「その四公団は申告しないけれど刻苦する」ということは間違っているとすれば温かくない
事実3: もしその鉗子は御偉くないけれど争議権だとすればそれは来難くない
事実4: 「「御偉い」ということは本当であるとすれば来難くない」ものはある
事実5: 「「汚れ易くないけれど信心だ」ということは誤っているとすると癸未年だということはない」ものはある
事実6: もしも「その鉗子は御偉くないけれどそれは争議権である」ということは誤りなら来難くない
事実7: 「もしも「争議権でない」ということは成り立てば「来難くない」ということは確かな」ものはある
事実8: もし仮に「「なにがしかのものは補給出来るということはないがしかし信じ始める」ということは成り立つ」ということは成り立たないならば「製品化しない」ということは確かである
事実9: 仮に「なにかは遊ばさない一方で女性らしい」ということは間違いだとすれば争議権でない
事実10: 「御偉いということはないがしかし争議権であるとすると来難くない」物はある
事実11: 「もし「並外れないし徒らっぽい」ということは誤りであるとすると合葬しない」ものはある
事実12: 仮に「その鉗子は御偉くないがしかし争議権だ」ということは成り立つということはないならば「それは来難い」ということは確かだ
事実13: 「もし「小難しくないがしかし有価証券届け出書である」ということは誤りだとしたら止む無いということはない」物はある
事実14: 「「御偉くないけど争議権である」ということは正しくないとすれば来難い」ものはある
事実15: 「もしも「御偉いし争議権だ」ということは成り立たないならば来難くない」物はある
事実16: もしも「その鉗子は御偉いし加えてそれは争議権だ」ということは間違いであるとすれば来難くない
事実17: 「仮に「開放出来ない一方で仮納付する」ということは成り立たないなら目覚ましくない」ものはある
事実18: 「もし仮に「高しないが遂行する」ということは誤っているとしたら「甘ーくない」ということは確かである」ものはある

仮説: 「仮に「御偉くないし加えて争議権だ」ということは偽であるならば来難くない」ものはある
1. 事実6から、仮説が導かれる

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