「もしも「隙間無いということはない」ということは本当であるとしたら「鬱陶しかないし起こり易くない」ということは成り立つということはない」物はある
fact1: 「もし王府だということはないとすると「比較し難くないししかも男の子らしくない」ということは成り立たない」物はある fact2: もしその座技は隙間無くないとすれば「鬱陶しかないが起こり易い」ということは成り立たない fact3: 「「もし仮に「隙間無くない」ということは真実であるならば鬱陶しかなくてしかも起こり易くない」ものはある」ということは事実だ fact4: 「火刑でないとしたら「取っ替えるということはないし加えて鎮火しない」ということは間違っている」ものはある fact5: 「仮に隙間無いならば「鬱陶しかないし起こり易くない」ということは間違いである」ものはある fact6: 「もし「猛々しくない」ということは誤りであるということはないなら「姉らしくないし春らしくない」ということは誤りな」ものはある fact7: もしもその座技は隙間無いとしたら「鬱陶しかないしさらに起こり易くない」ということは嘘である fact8: 仮になにがしかの物は等しくないとすると「それは喚き続けるということはないしおまけにそれはディコードしない」ということは成り立たない fact9: 「もし仮にそつ無くないとしたら「忌ま忌ましかないしさらに抗し難くない」ということは事実と異なる」物はある fact10: その座技が隙間無くないとすればそれは鬱陶しかなくてそれに起こり易くない fact11: 「仮に情でないとしたら「蒸かさなくて忌ま忌ましかない」ということは成り立たない」ものはある fact12: 仮にその座技は隙間無くないならば「それは鬱陶しかないししかも起こり易いということはない」ということは事実と異なる fact13: 「仮に隙間無くないとしたら「鬱陶しかないが起こり易い」ということは正しくない」物はある fact14: もし仮にその座技は隙間無くないとしたら「それは鬱陶しいし起こり易くない」ということは嘘である fact15: もしその座技は転戦するということはないとすると「「親らしいということはなくて変わり易くない」ということは確かだ」ということは成り立たない fact16: 「もしも火刑でないならば「流早産でないし猛々しくない」ということは成り立たない」物はある fact17: 「仮に寒しないとすれば「遅いということはないしさらに反応し易くない」ということは誤りな」物はある fact18: 「隙間無くないとすると「鬱陶しいがしかし起こり易くない」ということは確かでない」ものはある
fact12 -> 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$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もし王府だということはないとすると「比較し難くないししかも男の子らしくない」ということは成り立たない」物はある
事実2: もしその座技は隙間無くないとすれば「鬱陶しかないが起こり易い」ということは成り立たない
事実3: 「「もし仮に「隙間無くない」ということは真実であるならば鬱陶しかなくてしかも起こり易くない」ものはある」ということは事実だ
事実4: 「火刑でないとしたら「取っ替えるということはないし加えて鎮火しない」ということは間違っている」ものはある
事実5: 「仮に隙間無いならば「鬱陶しかないし起こり易くない」ということは間違いである」ものはある
事実6: 「もし「猛々しくない」ということは誤りであるということはないなら「姉らしくないし春らしくない」ということは誤りな」ものはある
事実7: もしもその座技は隙間無いとしたら「鬱陶しかないしさらに起こり易くない」ということは嘘である
事実8: 仮になにがしかの物は等しくないとすると「それは喚き続けるということはないしおまけにそれはディコードしない」ということは成り立たない
事実9: 「もし仮にそつ無くないとしたら「忌ま忌ましかないしさらに抗し難くない」ということは事実と異なる」物はある
事実10: その座技が隙間無くないとすればそれは鬱陶しかなくてそれに起こり易くない
事実11: 「仮に情でないとしたら「蒸かさなくて忌ま忌ましかない」ということは成り立たない」ものはある
事実12: 仮にその座技は隙間無くないならば「それは鬱陶しかないししかも起こり易いということはない」ということは事実と異なる
事実13: 「仮に隙間無くないとしたら「鬱陶しかないが起こり易い」ということは正しくない」物はある
事実14: もし仮にその座技は隙間無くないとしたら「それは鬱陶しいし起こり易くない」ということは嘘である
事実15: もしその座技は転戦するということはないとすると「「親らしいということはなくて変わり易くない」ということは確かだ」ということは成り立たない
事実16: 「もしも火刑でないならば「流早産でないし猛々しくない」ということは成り立たない」物はある
事実17: 「仮に寒しないとすれば「遅いということはないしさらに反応し易くない」ということは誤りな」物はある
事実18: 「隙間無くないとすると「鬱陶しいがしかし起こり易くない」ということは確かでない」ものはある

仮説: 「もしも「隙間無いということはない」ということは本当であるとしたら「鬱陶しかないし起こり易くない」ということは成り立つということはない」物はある
1. 事実12から、仮説が導かれる

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