「「もし「労労じないし更に詮無くない」ということは成り立つということはないとしたら良俗でない」物はある」ということは誤りだ
fact1: もしもその短編集が詮無いとするとそれは良俗でない fact2: 「もし「「物凄いということはなくてまた耐うない」ということは誤りでない」ということは誤っていれば理屈っぽくない」物はある fact3: もしその短編集は労労じないしおまけに詮無くないならば良俗でない fact4: 「なにかは救援軍でないし追求出来ない」ということは間違いであるとすると「取り辛くない」ということは真実である fact5: もし仮に「なにかは心安くないし受信側であるということはない」ということは本当でないならそれは染み入らない fact6: 「もし仮に「労労じないがしかし詮無い」ということは事実と異なれば良俗でない」ものはある fact7: もし「その短編集は労労じないしおまけにそれは詮無くない」ということは嘘ならそれは良俗だということはない fact8: 「仮に労労じないし詮無いということはないとすれば「良俗だということはない」ということは本当な」物はある fact9: 「もし詮無いならば良俗でない」物はある fact10: 「その短編集は労労じが詮無くない」ということは事実と異なればそれは良俗でない fact11: 仮に「その短編集は労労じないし加えて詮無くない」ということは間違いであるとしたらそれは良俗だ fact12: もしも「その短編集は詮無くないしさらに纏めだということはない」ということは確かでないとすればそれは心苦しいということはない fact13: 「仮に「労労じけど詮無いということはない」ということは誤りだとすると良俗でない」物はある fact14: 「その短編集は胎児でなくて心苦しくない」ということは偽であるとしたら良俗でない fact15: 「もし「労労じということはないし詮無くない」ということは成り立つということはないなら良俗である」物はある fact16: もしも「その短編集は良俗でないしその上仲裁しない」ということは成り立たないとすればあざといということはない fact17: 「もし仮に労労じとしたら良俗であるということはない」物はある
fact7 -> hypothesis;
もしも「その短編集は心安くないし受信側だということはない」ということは誤っているとしたらそれは染み入らない
fact18 -> hypothesis;
$facts$ = fact1: もしもその短編集が詮無いとするとそれは良俗でない fact2: 「もし「「物凄いということはなくてまた耐うない」ということは誤りでない」ということは誤っていれば理屈っぽくない」物はある fact3: もしその短編集は労労じないしおまけに詮無くないならば良俗でない fact4: 「なにかは救援軍でないし追求出来ない」ということは間違いであるとすると「取り辛くない」ということは真実である fact5: もし仮に「なにかは心安くないし受信側であるということはない」ということは本当でないならそれは染み入らない fact6: 「もし仮に「労労じないがしかし詮無い」ということは事実と異なれば良俗でない」ものはある fact7: もし「その短編集は労労じないしおまけにそれは詮無くない」ということは嘘ならそれは良俗だということはない fact8: 「仮に労労じないし詮無いということはないとすれば「良俗だということはない」ということは本当な」物はある fact9: 「もし詮無いならば良俗でない」物はある fact10: 「その短編集は労労じが詮無くない」ということは事実と異なればそれは良俗でない fact11: 仮に「その短編集は労労じないし加えて詮無くない」ということは間違いであるとしたらそれは良俗だ fact12: もしも「その短編集は詮無くないしさらに纏めだということはない」ということは確かでないとすればそれは心苦しいということはない fact13: 「仮に「労労じけど詮無いということはない」ということは誤りだとすると良俗でない」物はある fact14: 「その短編集は胎児でなくて心苦しくない」ということは偽であるとしたら良俗でない fact15: 「もし「労労じということはないし詮無くない」ということは成り立つということはないなら良俗である」物はある fact16: もしも「その短編集は良俗でないしその上仲裁しない」ということは成り立たないとすればあざといということはない fact17: 「もし仮に労労じとしたら良俗であるということはない」物はある ; $hypothesis$ = 「「もし「労労じないし更に詮無くない」ということは成り立つということはないとしたら良俗でない」物はある」ということは誤りだ ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もしもその短編集が詮無いとするとそれは良俗でない
事実2: 「もし「「物凄いということはなくてまた耐うない」ということは誤りでない」ということは誤っていれば理屈っぽくない」物はある
事実3: もしその短編集は労労じないしおまけに詮無くないならば良俗でない
事実4: 「なにかは救援軍でないし追求出来ない」ということは間違いであるとすると「取り辛くない」ということは真実である
事実5: もし仮に「なにかは心安くないし受信側であるということはない」ということは本当でないならそれは染み入らない
事実6: 「もし仮に「労労じないがしかし詮無い」ということは事実と異なれば良俗でない」ものはある
事実7: もし「その短編集は労労じないしおまけにそれは詮無くない」ということは嘘ならそれは良俗だということはない
事実8: 「仮に労労じないし詮無いということはないとすれば「良俗だということはない」ということは本当な」物はある
事実9: 「もし詮無いならば良俗でない」物はある
事実10: 「その短編集は労労じが詮無くない」ということは事実と異なればそれは良俗でない
事実11: 仮に「その短編集は労労じないし加えて詮無くない」ということは間違いであるとしたらそれは良俗だ
事実12: もしも「その短編集は詮無くないしさらに纏めだということはない」ということは確かでないとすればそれは心苦しいということはない
事実13: 「仮に「労労じけど詮無いということはない」ということは誤りだとすると良俗でない」物はある
事実14: 「その短編集は胎児でなくて心苦しくない」ということは偽であるとしたら良俗でない
事実15: 「もし「労労じということはないし詮無くない」ということは成り立つということはないなら良俗である」物はある
事実16: もしも「その短編集は良俗でないしその上仲裁しない」ということは成り立たないとすればあざといということはない
事実17: 「もし仮に労労じとしたら良俗であるということはない」物はある

仮説: 「「もし「労労じないし更に詮無くない」ということは成り立つということはないとしたら良俗でない」物はある」ということは誤りだ
1. 事実7から、仮説が否定される

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