「「「様式化しないしさらに汚らしくない」ということは成り立たないとすれば軽輩である」ものはある」ということは間違っている
fact1: もしもその十五項目が様式化するとするとそれは軽輩だ fact2: 「なにがしかのものは庭園様式でなくて更に所産だということはない」ということは成り立たないとしたらそれは煮え繰り返る fact3: 「仮に様式化するということはないしその上汚らしくないなら軽輩である」ものはある fact4: 「様式化するとすれば軽輩である」ものはある fact5: 仮に「あのアスピックは汚らしくないししかもリングバックトーンでない」ということは成り立たないならばスラム化する fact6: もし「何らかのものは偏しなくてしかもそれは寓意するということはない」ということは偽であるならばそれはスラム化する fact7: 「もし「様式化しないしその上汚らしい」ということは成り立たないとすると軽輩な」物はある fact8: もしもその十五項目が様式化しないしそれにそれが汚らしくないとすると軽輩である fact9: 「もしも「様式化するが汚らしくない」ということは偽であるならば軽輩な」ものはある fact10: 「汚らしいとすると軽輩である」ものはある fact11: 仮に「なんらかの物は暗唱出来ないししかもスケジュール管理でない」ということは成り立つということはないなら「御安心下さる」ということは本当だ fact12: もしも「その十五項目は様式化しないけど汚らしい」ということは本当でないとすると軽輩だ fact13: 「「伴い易くないし加えて発出しない」ということは間違っているなら米国以外である」ものはある fact14: 仮に「なにがしかのものは鬼火でないし加えて二〜四歳馬でない」ということは成り立つということはないとすればそれは押さえ難い fact15: もしも「とあるものは御安心下さらないしその上三十二ページ参照でない」ということは本当でないなら管掌する fact16: もし何らかのものは様式化しないしおまけに汚らしくないならそれは軽輩だ fact17: もし「とあるものは出来立てでないしかつそれは異方性でない」ということは間違いならばさ迷い続ける fact18: 仮に「ある物はどうして良くないし買わない」ということは誤りならばそれは様式化する fact19: 仮に「とあるものは様式化しないし汚らしくない」ということは偽だとするとそれは軽輩である fact20: もし「その編は遜色無くないし短くない」ということは成り立たないならば汚らしい
fact19 -> int1: もし「その十五項目は様式化しないし加えてそれは汚らしくない」ということは成り立たないとするとそれは軽輩だ; int1 -> hypothesis;
もし仮に「その十五項目はどうして良くないしまたそれは買わない」ということは嘘だとすると様式化する
fact21 -> hypothesis;
$facts$ = fact1: もしもその十五項目が様式化するとするとそれは軽輩だ fact2: 「なにがしかのものは庭園様式でなくて更に所産だということはない」ということは成り立たないとしたらそれは煮え繰り返る fact3: 「仮に様式化するということはないしその上汚らしくないなら軽輩である」ものはある fact4: 「様式化するとすれば軽輩である」ものはある fact5: 仮に「あのアスピックは汚らしくないししかもリングバックトーンでない」ということは成り立たないならばスラム化する fact6: もし「何らかのものは偏しなくてしかもそれは寓意するということはない」ということは偽であるならばそれはスラム化する fact7: 「もし「様式化しないしその上汚らしい」ということは成り立たないとすると軽輩な」物はある fact8: もしもその十五項目が様式化しないしそれにそれが汚らしくないとすると軽輩である fact9: 「もしも「様式化するが汚らしくない」ということは偽であるならば軽輩な」ものはある fact10: 「汚らしいとすると軽輩である」ものはある fact11: 仮に「なんらかの物は暗唱出来ないししかもスケジュール管理でない」ということは成り立つということはないなら「御安心下さる」ということは本当だ fact12: もしも「その十五項目は様式化しないけど汚らしい」ということは本当でないとすると軽輩だ fact13: 「「伴い易くないし加えて発出しない」ということは間違っているなら米国以外である」ものはある fact14: 仮に「なにがしかのものは鬼火でないし加えて二〜四歳馬でない」ということは成り立つということはないとすればそれは押さえ難い fact15: もしも「とあるものは御安心下さらないしその上三十二ページ参照でない」ということは本当でないなら管掌する fact16: もし何らかのものは様式化しないしおまけに汚らしくないならそれは軽輩だ fact17: もし「とあるものは出来立てでないしかつそれは異方性でない」ということは間違いならばさ迷い続ける fact18: 仮に「ある物はどうして良くないし買わない」ということは誤りならばそれは様式化する fact19: 仮に「とあるものは様式化しないし汚らしくない」ということは偽だとするとそれは軽輩である fact20: もし「その編は遜色無くないし短くない」ということは成り立たないならば汚らしい ; $hypothesis$ = 「「「様式化しないしさらに汚らしくない」ということは成り立たないとすれば軽輩である」ものはある」ということは間違っている ; $proof$ = 
fact19 -> int1: もし「その十五項目は様式化しないし加えてそれは汚らしくない」ということは成り立たないとするとそれは軽輩だ; int1 -> hypothesis; __DISPROVED__
事実1: もしもその十五項目が様式化するとするとそれは軽輩だ
事実2: 「なにがしかのものは庭園様式でなくて更に所産だということはない」ということは成り立たないとしたらそれは煮え繰り返る
事実3: 「仮に様式化するということはないしその上汚らしくないなら軽輩である」ものはある
事実4: 「様式化するとすれば軽輩である」ものはある
事実5: 仮に「あのアスピックは汚らしくないししかもリングバックトーンでない」ということは成り立たないならばスラム化する
事実6: もし「何らかのものは偏しなくてしかもそれは寓意するということはない」ということは偽であるならばそれはスラム化する
事実7: 「もし「様式化しないしその上汚らしい」ということは成り立たないとすると軽輩な」物はある
事実8: もしもその十五項目が様式化しないしそれにそれが汚らしくないとすると軽輩である
事実9: 「もしも「様式化するが汚らしくない」ということは偽であるならば軽輩な」ものはある
事実10: 「汚らしいとすると軽輩である」ものはある
事実11: 仮に「なんらかの物は暗唱出来ないししかもスケジュール管理でない」ということは成り立つということはないなら「御安心下さる」ということは本当だ
事実12: もしも「その十五項目は様式化しないけど汚らしい」ということは本当でないとすると軽輩だ
事実13: 「「伴い易くないし加えて発出しない」ということは間違っているなら米国以外である」ものはある
事実14: 仮に「なにがしかのものは鬼火でないし加えて二〜四歳馬でない」ということは成り立つということはないとすればそれは押さえ難い
事実15: もしも「とあるものは御安心下さらないしその上三十二ページ参照でない」ということは本当でないなら管掌する
事実16: もし何らかのものは様式化しないしおまけに汚らしくないならそれは軽輩だ
事実17: もし「とあるものは出来立てでないしかつそれは異方性でない」ということは間違いならばさ迷い続ける
事実18: 仮に「ある物はどうして良くないし買わない」ということは誤りならばそれは様式化する
事実19: 仮に「とあるものは様式化しないし汚らしくない」ということは偽だとするとそれは軽輩である
事実20: もし「その編は遜色無くないし短くない」ということは成り立たないならば汚らしい

仮説: 「「「様式化しないしさらに汚らしくない」ということは成り立たないとすれば軽輩である」ものはある」ということは間違っている
1. 事実19から、推論1: "もし「その十五項目は様式化しないし加えてそれは汚らしくない」ということは成り立たないとするとそれは軽輩だ"が導かれる
2. 推論1から、仮説が否定される

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