「このもにょもいLv.7は申告出来るしだらし無い」ということは嘘である
fact1: 仮に「そのまにょまねLv.11は当て嵌めるかまたはそれはけたたましくないか両方である」ということは誤りだとするとあのみにょみにゅLv.27は汚らわしくない fact2: 「あのみにょみにゅLv.27は汚らわしくない」ということは真実だとすれば「このもにょもいLv.7は申告出来るしだらし無い」ということは事実と異なる fact3: 仮にこのもにょもいLv.7が汚らわしいとすればこのもにょもいLv.7は当て嵌める fact4: このもにょもいLv.7は申告出来る fact5: もし酷いモンスターが慌ただしいということはないとするとそれは申告出来ない fact6: もしもなにがしかのモンスターが申告出来ないとするとそれは汚らわしいかもしくは当て嵌める fact7: もしもこのもにょもいLv.7が当て嵌めるとしたらそれはだらし無い fact8: このもにょもいLv.7は汚らわしい fact9: このもにょもいLv.7が汚らわしいとすればこのみゆみえLv.10は使用し難い
fact3 & fact8 -> int1: このもにょもいLv.7は当て嵌める; int1 & fact7 -> int2: このもにょもいLv.7はだらし無い; int2 & fact4 -> hypothesis;
fact3 & fact8 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
このみゆみえLv.10は使用し難くてそれにだらし無い
fact10 -> int3: もしこのもにょもいLv.7が申告出来ないとしたらこのもにょもいLv.7は汚らわしいかあるいはそれは当て嵌める; fact12 -> int4: もし仮にこのもにょもいLv.7は酷いモンスターでかつ慌ただしくないならばそれは申告出来ない;
$facts$ = fact1: 仮に「そのまにょまねLv.11は当て嵌めるかまたはそれはけたたましくないか両方である」ということは誤りだとするとあのみにょみにゅLv.27は汚らわしくない fact2: 「あのみにょみにゅLv.27は汚らわしくない」ということは真実だとすれば「このもにょもいLv.7は申告出来るしだらし無い」ということは事実と異なる fact3: 仮にこのもにょもいLv.7が汚らわしいとすればこのもにょもいLv.7は当て嵌める fact4: このもにょもいLv.7は申告出来る fact5: もし酷いモンスターが慌ただしいということはないとするとそれは申告出来ない fact6: もしもなにがしかのモンスターが申告出来ないとするとそれは汚らわしいかもしくは当て嵌める fact7: もしもこのもにょもいLv.7が当て嵌めるとしたらそれはだらし無い fact8: このもにょもいLv.7は汚らわしい fact9: このもにょもいLv.7が汚らわしいとすればこのみゆみえLv.10は使用し難い ; $hypothesis$ = 「このもにょもいLv.7は申告出来るしだらし無い」ということは嘘である ; $proof$ = 
fact3 & fact8 -> int1: このもにょもいLv.7は当て嵌める; int1 & fact7 -> int2: このもにょもいLv.7はだらし無い; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact8 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__