その内回りは使い辛くない
fact1: 「その内回りははしたなくなくておまけに照明しない」ということは本当でないならこの一夫多妻は使い辛い fact2: もしもとあるものは虚仮でないがしかし照明するならそれは使い辛くない fact3: 「この一夫多妻は照明する一方で使い辛くない」ということは嘘だ fact4: もしも「この一夫多妻は使い辛い」ということは間違いだとすると「はしたなくないけど九十年度だ」ということは間違っている fact5: 「この一夫多妻は照明するしかつそれははしたない」ということは嘘ならば照明しない fact6: なにがしかの物は照明しないならば「それは子供らしくないしそれは九十年度でない」ということは誤りである fact7: この一夫多妻は魏晋でない fact8: 「この一夫多妻は照明するしはしたない」ということは間違いだ fact9: もし仮に「この一夫多妻は九十年度でなくてそれは使い辛くない」ということは成り立たないならばその内回りは子供らしい fact10: 「この一夫多妻は実情だ」ということは正しい fact11: 仮に「この一夫多妻は子供らしくないし加えて九十年度でない」ということは間違いだとすればその内回りは使い辛い fact12: もし仮に「この一夫多妻ははしたなくておまけに使い辛い」ということは成り立たないとするとそれははしたなくない
fact6 -> int1: この一夫多妻は照明しないなら「それは子供らしくないし加えて九十年度でない」ということは偽である; fact5 & fact8 -> int2: この一夫多妻は照明しない; int1 & int2 -> int3: 「「この一夫多妻は子供らしくないしおまけに九十年度でない」ということは成り立たない」ということは確かである; int3 & fact11 -> hypothesis;
「その内回りは使い辛い」ということは嘘だ
fact13 -> int4: もしもその内回りは虚仮でないけど照明するとすると「それは使い辛いということはない」ということは本当である;
$facts$ = fact1: 「その内回りははしたなくなくておまけに照明しない」ということは本当でないならこの一夫多妻は使い辛い fact2: もしもとあるものは虚仮でないがしかし照明するならそれは使い辛くない fact3: 「この一夫多妻は照明する一方で使い辛くない」ということは嘘だ fact4: もしも「この一夫多妻は使い辛い」ということは間違いだとすると「はしたなくないけど九十年度だ」ということは間違っている fact5: 「この一夫多妻は照明するしかつそれははしたない」ということは嘘ならば照明しない fact6: なにがしかの物は照明しないならば「それは子供らしくないしそれは九十年度でない」ということは誤りである fact7: この一夫多妻は魏晋でない fact8: 「この一夫多妻は照明するしはしたない」ということは間違いだ fact9: もし仮に「この一夫多妻は九十年度でなくてそれは使い辛くない」ということは成り立たないならばその内回りは子供らしい fact10: 「この一夫多妻は実情だ」ということは正しい fact11: 仮に「この一夫多妻は子供らしくないし加えて九十年度でない」ということは間違いだとすればその内回りは使い辛い fact12: もし仮に「この一夫多妻ははしたなくておまけに使い辛い」ということは成り立たないとするとそれははしたなくない ; $hypothesis$ = その内回りは使い辛くない ; $proof$ = 
fact6 -> int1: この一夫多妻は照明しないなら「それは子供らしくないし加えて九十年度でない」ということは偽である; fact5 & fact8 -> int2: この一夫多妻は照明しない; int1 & int2 -> int3: 「「この一夫多妻は子供らしくないしおまけに九十年度でない」ということは成り立たない」ということは確かである; int3 & fact11 -> hypothesis; __DISPROVED__
事実1: 「その内回りははしたなくなくておまけに照明しない」ということは本当でないならこの一夫多妻は使い辛い
事実2: もしもとあるものは虚仮でないがしかし照明するならそれは使い辛くない
事実3: 「この一夫多妻は照明する一方で使い辛くない」ということは嘘だ
事実4: もしも「この一夫多妻は使い辛い」ということは間違いだとすると「はしたなくないけど九十年度だ」ということは間違っている
事実5: 「この一夫多妻は照明するしかつそれははしたない」ということは嘘ならば照明しない
事実6: なにがしかの物は照明しないならば「それは子供らしくないしそれは九十年度でない」ということは誤りである
事実7: この一夫多妻は魏晋でない
事実8: 「この一夫多妻は照明するしはしたない」ということは間違いだ
事実9: もし仮に「この一夫多妻は九十年度でなくてそれは使い辛くない」ということは成り立たないならばその内回りは子供らしい
事実10: 「この一夫多妻は実情だ」ということは正しい
事実11: 仮に「この一夫多妻は子供らしくないし加えて九十年度でない」ということは間違いだとすればその内回りは使い辛い
事実12: もし仮に「この一夫多妻ははしたなくておまけに使い辛い」ということは成り立たないとするとそれははしたなくない

仮説: その内回りは使い辛くない
1. 事実6から、推論1: "この一夫多妻は照明しないなら「それは子供らしくないし加えて九十年度でない」ということは偽である"が導かれる
2. 事実5と事実8から、推論2: "この一夫多妻は照明しない"が導かれる
3. 推論1と推論2から、推論3: "「「この一夫多妻は子供らしくないしおまけに九十年度でない」ということは成り立たない」ということは確かである"が導かれる
4. 推論3と事実11から、仮説が否定される

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