「あの新羅人は優しくないし民主化運動でない」ということは嘘である
fact1: あの新羅人は民主化運動でなくてかつ怪我しない fact2: 何もかもは寝苦しくない fact3: その付加薬は民主化運動でない fact4: 全ての物は代金回収だということはないしおまけに因まない fact5: あの新羅人は諮らないし断れない fact6: 「もしもあるものは目新しくないとすると「それは優しくないしおまけに民主化運動でない」ということは間違っている」ということは本当である fact7: あの新羅人は不足し易くないしおまけに論じ合わない fact8: この米外交は兼ねらなくて更にそれは裸足でない fact9: すべての物はエキサイトしないしかつそれは海驢でない fact10: あらゆる物は獲得しない fact11: その低年齢児は優しくない fact12: 何もかもは寒過ぎない fact13: 「あの竪穴住居跡は優しくない」ということは事実である fact14: 何もかもは重くない fact15: あの新羅人は成体内でなくて開局しない fact16: どれもこれもは焦げ臭いということはない fact17: あらゆるものは食い殺すということはない fact18: この御臨終は優しくない fact19: 全てのものは立身でない fact20: 全ては優しくないしかつ民主化運動でない fact21: あの新羅人は疾しない
fact20 -> hypothesis;
「あの新羅人は優しくないしそれにそれは民主化運動でない」ということは成り立たない
fact22 -> int1: もし仮にあの新羅人は目新しいということはないとすれば「優しくないしかつ民主化運動でない」ということは事実と異なる;
$facts$ = fact1: あの新羅人は民主化運動でなくてかつ怪我しない fact2: 何もかもは寝苦しくない fact3: その付加薬は民主化運動でない fact4: 全ての物は代金回収だということはないしおまけに因まない fact5: あの新羅人は諮らないし断れない fact6: 「もしもあるものは目新しくないとすると「それは優しくないしおまけに民主化運動でない」ということは間違っている」ということは本当である fact7: あの新羅人は不足し易くないしおまけに論じ合わない fact8: この米外交は兼ねらなくて更にそれは裸足でない fact9: すべての物はエキサイトしないしかつそれは海驢でない fact10: あらゆる物は獲得しない fact11: その低年齢児は優しくない fact12: 何もかもは寒過ぎない fact13: 「あの竪穴住居跡は優しくない」ということは事実である fact14: 何もかもは重くない fact15: あの新羅人は成体内でなくて開局しない fact16: どれもこれもは焦げ臭いということはない fact17: あらゆるものは食い殺すということはない fact18: この御臨終は優しくない fact19: 全てのものは立身でない fact20: 全ては優しくないしかつ民主化運動でない fact21: あの新羅人は疾しない ; $hypothesis$ = 「あの新羅人は優しくないし民主化運動でない」ということは嘘である ; $proof$ = 
fact20 -> hypothesis; __DISPROVED__
事実1: あの新羅人は民主化運動でなくてかつ怪我しない
事実2: 何もかもは寝苦しくない
事実3: その付加薬は民主化運動でない
事実4: 全ての物は代金回収だということはないしおまけに因まない
事実5: あの新羅人は諮らないし断れない
事実6: 「もしもあるものは目新しくないとすると「それは優しくないしおまけに民主化運動でない」ということは間違っている」ということは本当である
事実7: あの新羅人は不足し易くないしおまけに論じ合わない
事実8: この米外交は兼ねらなくて更にそれは裸足でない
事実9: すべての物はエキサイトしないしかつそれは海驢でない
事実10: あらゆる物は獲得しない
事実11: その低年齢児は優しくない
事実12: 何もかもは寒過ぎない
事実13: 「あの竪穴住居跡は優しくない」ということは事実である
事実14: 何もかもは重くない
事実15: あの新羅人は成体内でなくて開局しない
事実16: どれもこれもは焦げ臭いということはない
事実17: あらゆるものは食い殺すということはない
事実18: この御臨終は優しくない
事実19: 全てのものは立身でない
事実20: 全ては優しくないしかつ民主化運動でない
事実21: あの新羅人は疾しない

仮説: 「あの新羅人は優しくないし民主化運動でない」ということは嘘である
1. 事実20から、仮説が否定される

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