その良さは地租改正関係法令だ
fact1: もしもその良さが薔薇露ならばそれはそつ無い fact2: 何らかのものは尊いとすれば「それは指圧であるということはないか地租改正関係法令でないかまたは両方だ」ということは確かでない fact3: あの都城は薔薇露だ fact4: もし仮にその良さは遣り難いとすれば「邪魔だ」ということは正しい fact5: 「その良さは遣り難い一方で薔薇露でない」ということは成り立たない fact6: 仮に「何らかのものは指圧でない一方でそつ無い」ということは成り立たないとすればそつ無くない fact7: 仮に「その良さは髄心院であるということはないかあるいは成功し易いかあるいは両方だ」ということは誤りならば留任しない fact8: もし何かは成功し易くないとすれば「指圧でなくて更にそつ無い」ということは誤りである fact9: もし仮に「その良さは遣り難いがしかしそれは薔薇露でない」ということは嘘であるならそつ無い fact10: 仮に「何かは成功し易いか殺戮しないかあるいは両方だ」ということは成り立つということはないならば地租改正関係法令でない fact11: 「なにかは成功し易くないかあるいは殺戮しないかあるいはどちらもだ」ということは事実と異なるとすると「地租改正関係法令でない」ということは成り立つ fact12: 「もしもその良さはそつ無いなら「「その良さは成功し易くないかあるいは殺戮しないかまたは両方だ」ということは真実である」ということは成り立たない」ということは本当である
fact9 & fact5 -> int1: その良さはそつ無い; int1 & fact12 -> int2: 「その良さは成功し易くないかまたはそれは殺戮しないかもしくはどちらもだ」ということは誤っている; fact11 -> int3: 仮に「その良さは成功し易いということはないかまたは殺戮しないかもしくはどちらもである」ということは間違っていれば地租改正関係法令でない; int2 & int3 -> hypothesis;
その良さは地租改正関係法令である
fact14 -> int4: もし「その良さは指圧であるということはないけどそれはそつ無い」ということは成り立たないとするとそつ無くない; fact13 -> int5: もし仮にその良さは成功し易くないなら「それは指圧でないがそつ無い」ということは成り立たない;
$facts$ = fact1: もしもその良さが薔薇露ならばそれはそつ無い fact2: 何らかのものは尊いとすれば「それは指圧であるということはないか地租改正関係法令でないかまたは両方だ」ということは確かでない fact3: あの都城は薔薇露だ fact4: もし仮にその良さは遣り難いとすれば「邪魔だ」ということは正しい fact5: 「その良さは遣り難い一方で薔薇露でない」ということは成り立たない fact6: 仮に「何らかのものは指圧でない一方でそつ無い」ということは成り立たないとすればそつ無くない fact7: 仮に「その良さは髄心院であるということはないかあるいは成功し易いかあるいは両方だ」ということは誤りならば留任しない fact8: もし何かは成功し易くないとすれば「指圧でなくて更にそつ無い」ということは誤りである fact9: もし仮に「その良さは遣り難いがしかしそれは薔薇露でない」ということは嘘であるならそつ無い fact10: 仮に「何かは成功し易いか殺戮しないかあるいは両方だ」ということは成り立つということはないならば地租改正関係法令でない fact11: 「なにかは成功し易くないかあるいは殺戮しないかあるいはどちらもだ」ということは事実と異なるとすると「地租改正関係法令でない」ということは成り立つ fact12: 「もしもその良さはそつ無いなら「「その良さは成功し易くないかあるいは殺戮しないかまたは両方だ」ということは真実である」ということは成り立たない」ということは本当である ; $hypothesis$ = その良さは地租改正関係法令だ ; $proof$ = 
fact9 & fact5 -> int1: その良さはそつ無い; int1 & fact12 -> int2: 「その良さは成功し易くないかまたはそれは殺戮しないかもしくはどちらもだ」ということは誤っている; fact11 -> int3: 仮に「その良さは成功し易いということはないかまたは殺戮しないかもしくはどちらもである」ということは間違っていれば地租改正関係法令でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしもその良さが薔薇露ならばそれはそつ無い
事実2: 何らかのものは尊いとすれば「それは指圧であるということはないか地租改正関係法令でないかまたは両方だ」ということは確かでない
事実3: あの都城は薔薇露だ
事実4: もし仮にその良さは遣り難いとすれば「邪魔だ」ということは正しい
事実5: 「その良さは遣り難い一方で薔薇露でない」ということは成り立たない
事実6: 仮に「何らかのものは指圧でない一方でそつ無い」ということは成り立たないとすればそつ無くない
事実7: 仮に「その良さは髄心院であるということはないかあるいは成功し易いかあるいは両方だ」ということは誤りならば留任しない
事実8: もし何かは成功し易くないとすれば「指圧でなくて更にそつ無い」ということは誤りである
事実9: もし仮に「その良さは遣り難いがしかしそれは薔薇露でない」ということは嘘であるならそつ無い
事実10: 仮に「何かは成功し易いか殺戮しないかあるいは両方だ」ということは成り立つということはないならば地租改正関係法令でない
事実11: 「なにかは成功し易くないかあるいは殺戮しないかあるいはどちらもだ」ということは事実と異なるとすると「地租改正関係法令でない」ということは成り立つ
事実12: 「もしもその良さはそつ無いなら「「その良さは成功し易くないかあるいは殺戮しないかまたは両方だ」ということは真実である」ということは成り立たない」ということは本当である

仮説: その良さは地租改正関係法令だ
1. 事実9と事実5から、推論1: "その良さはそつ無い"が導かれる
2. 推論1と事実12から、推論2: "「その良さは成功し易くないかまたはそれは殺戮しないかもしくはどちらもだ」ということは誤っている"が導かれる
3. 事実11から、推論3: "仮に「その良さは成功し易いということはないかまたは殺戮しないかもしくはどちらもである」ということは間違っていれば地租改正関係法令でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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