「仮に「感嘆符でないし聖伝でない」ということは事実と異なれば共鳴し易くない」ものはある
fact1: もし「この中国料理は共鳴し易いということはなくて受け売りしない」ということは事実でないとするとそれは管弦楽である fact2: 「仮に「かわゆいがつれないということはない」ということは間違っているとすれば真鱈模様でない」ものはある fact3: 「もしも「感嘆符でないしおまけに聖伝でない」ということは事実と異なるとしたら共鳴し易い」物はある fact4: もし仮に「何らかの物は御役人様でなくて加えて飼料給与でない」ということは成り立たないならそれは参照しない fact5: 「もし仮に「確認し易いがしかし捗々しいということはない」ということは成り立たないとすると入滅しない」物はある fact6: 「「感嘆符だ」ということは事実であるならば共鳴し易くない」物はある fact7: 「もしも「エコデザインだということはなくてしかも老いさらばえるということはない」ということは成り立たないならば数量計算である」ものはある fact8: 「意義深いならシングルラインでない」ものはある fact9: 「もし仮に「洗濯板でないが忌む」ということは事実と異なるとすれば価値連鎖でない」物はある fact10: 「仮に「好ましいが四角くない」ということは嘘だとするとエコデザインでない」ものはある fact11: 「「感嘆符だけど聖伝だということはない」ということは間違いだとすれば共鳴し易いということはない」ものはある fact12: 「この中国料理は感嘆符でないし聖伝だということはない」ということは偽だとするとそれは共鳴し易くない fact13: もしも「この中国料理は作らすがしかしそれは共鳴し易くない」ということは誤っているとすると書き難くない fact14: 「仮にこの中国料理が傾聴しなくておまけにそれがぼろくないならばあの中国料理は聖伝でない」ということは成り立つ fact15: 「仮に「かったるくないしさらに香しかない」ということは事実と異なるとすれば分流しない」ものはある
fact12 -> hypothesis;
「仮に「御役人様でないし飼料給与でない」ということは成り立たないとすれば参照しない」物はある
fact16 -> int1: 仮に「このＢ／Ｓ上は御役人様でないしそれは飼料給与でない」ということは間違いであるとしたら参照しない; int1 -> hypothesis;
$facts$ = fact1: もし「この中国料理は共鳴し易いということはなくて受け売りしない」ということは事実でないとするとそれは管弦楽である fact2: 「仮に「かわゆいがつれないということはない」ということは間違っているとすれば真鱈模様でない」ものはある fact3: 「もしも「感嘆符でないしおまけに聖伝でない」ということは事実と異なるとしたら共鳴し易い」物はある fact4: もし仮に「何らかの物は御役人様でなくて加えて飼料給与でない」ということは成り立たないならそれは参照しない fact5: 「もし仮に「確認し易いがしかし捗々しいということはない」ということは成り立たないとすると入滅しない」物はある fact6: 「「感嘆符だ」ということは事実であるならば共鳴し易くない」物はある fact7: 「もしも「エコデザインだということはなくてしかも老いさらばえるということはない」ということは成り立たないならば数量計算である」ものはある fact8: 「意義深いならシングルラインでない」ものはある fact9: 「もし仮に「洗濯板でないが忌む」ということは事実と異なるとすれば価値連鎖でない」物はある fact10: 「仮に「好ましいが四角くない」ということは嘘だとするとエコデザインでない」ものはある fact11: 「「感嘆符だけど聖伝だということはない」ということは間違いだとすれば共鳴し易いということはない」ものはある fact12: 「この中国料理は感嘆符でないし聖伝だということはない」ということは偽だとするとそれは共鳴し易くない fact13: もしも「この中国料理は作らすがしかしそれは共鳴し易くない」ということは誤っているとすると書き難くない fact14: 「仮にこの中国料理が傾聴しなくておまけにそれがぼろくないならばあの中国料理は聖伝でない」ということは成り立つ fact15: 「仮に「かったるくないしさらに香しかない」ということは事実と異なるとすれば分流しない」ものはある ; $hypothesis$ = 「仮に「感嘆符でないし聖伝でない」ということは事実と異なれば共鳴し易くない」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もし「この中国料理は共鳴し易いということはなくて受け売りしない」ということは事実でないとするとそれは管弦楽である
事実2: 「仮に「かわゆいがつれないということはない」ということは間違っているとすれば真鱈模様でない」ものはある
事実3: 「もしも「感嘆符でないしおまけに聖伝でない」ということは事実と異なるとしたら共鳴し易い」物はある
事実4: もし仮に「何らかの物は御役人様でなくて加えて飼料給与でない」ということは成り立たないならそれは参照しない
事実5: 「もし仮に「確認し易いがしかし捗々しいということはない」ということは成り立たないとすると入滅しない」物はある
事実6: 「「感嘆符だ」ということは事実であるならば共鳴し易くない」物はある
事実7: 「もしも「エコデザインだということはなくてしかも老いさらばえるということはない」ということは成り立たないならば数量計算である」ものはある
事実8: 「意義深いならシングルラインでない」ものはある
事実9: 「もし仮に「洗濯板でないが忌む」ということは事実と異なるとすれば価値連鎖でない」物はある
事実10: 「仮に「好ましいが四角くない」ということは嘘だとするとエコデザインでない」ものはある
事実11: 「「感嘆符だけど聖伝だということはない」ということは間違いだとすれば共鳴し易いということはない」ものはある
事実12: 「この中国料理は感嘆符でないし聖伝だということはない」ということは偽だとするとそれは共鳴し易くない
事実13: もしも「この中国料理は作らすがしかしそれは共鳴し易くない」ということは誤っているとすると書き難くない
事実14: 「仮にこの中国料理が傾聴しなくておまけにそれがぼろくないならばあの中国料理は聖伝でない」ということは成り立つ
事実15: 「仮に「かったるくないしさらに香しかない」ということは事実と異なるとすれば分流しない」ものはある

仮説: 「仮に「感嘆符でないし聖伝でない」ということは事実と異なれば共鳴し易くない」ものはある
1. 事実12から、仮説が導かれる

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