「あのみえみゆLv.63は作り難い」ということは成り立つ
fact1: あのみえみゆLv.63は深い fact2: あのみえみゆLv.63は着膨れる fact3: もしあのもにものLv.66が塗り易いならあのみえみゆLv.63は着膨れる fact4: あのもにものLv.66があどけなくないとするとそれは塗り易くてかつそれは深い fact5: もしもあのもにものLv.66が着膨れればあのみえみゆLv.63は塗り易い fact6: もし仮にあのみえみゆLv.63が着膨れるとしたらあのもにものLv.66は塗り易い fact7: 深くないモンスターは塗り易いしその上着膨れる fact8: もしもあのみえみゆLv.63が塗り易くてそれに深いとすればあのみえみゆLv.63は作り難くない fact9: あのもにものLv.66は着膨れる
fact5 & fact9 -> int1: あのみえみゆLv.63は塗り易い; int1 & fact1 -> int2: あのみえみゆLv.63は塗り易いしそれに深い; int2 & fact8 -> hypothesis;
fact5 & fact9 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact8 -> hypothesis;
そのもねもちゅLv.24は着膨れる
fact10 -> int3: 仮にそのもねもちゅLv.24が深くないならばそのもねもちゅLv.24は塗り易いし着膨れる;
$facts$ = fact1: あのみえみゆLv.63は深い fact2: あのみえみゆLv.63は着膨れる fact3: もしあのもにものLv.66が塗り易いならあのみえみゆLv.63は着膨れる fact4: あのもにものLv.66があどけなくないとするとそれは塗り易くてかつそれは深い fact5: もしもあのもにものLv.66が着膨れればあのみえみゆLv.63は塗り易い fact6: もし仮にあのみえみゆLv.63が着膨れるとしたらあのもにものLv.66は塗り易い fact7: 深くないモンスターは塗り易いしその上着膨れる fact8: もしもあのみえみゆLv.63が塗り易くてそれに深いとすればあのみえみゆLv.63は作り難くない fact9: あのもにものLv.66は着膨れる ; $hypothesis$ = 「あのみえみゆLv.63は作り難い」ということは成り立つ ; $proof$ = 
fact5 & fact9 -> int1: あのみえみゆLv.63は塗り易い; int1 & fact1 -> int2: あのみえみゆLv.63は塗り易いしそれに深い; int2 & fact8 -> hypothesis; __DISPROVED__
fact5 & fact9 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact8 -> hypothesis; __DISPROVED__