「あのみにゅみにゃLv.97は素晴らしくないかもしくはそれは手厳しいかあるいは両方ともである」ということは間違っている
fact1: 「眩しいモンスターは信じ易い」ということは成り立つ fact2: もしこのもやもちゅLv.71が眩しいならそのもねもゆLv.23は移動し易い fact3: あのみにゅみにゃLv.97は素晴らしいかもしくは手厳しいか両方ともである fact4: もし仮にこのもやもちゅLv.71が関係深いとすればそのもねもゆLv.23は移動し易い fact5: もしそのもねもゆLv.23が素晴らしいならあのみにゅみにゃLv.97は素晴らしいということはないかそれは手厳しい fact6: あのもにょもいLv.54は眩しいかもしくはそれは種蒔きするかまたは両方である fact7: そのもねもゆLv.23は移動し易いなら「それは素晴らしい」ということは成り立つ fact8: もしとあるモンスターは関係深くないなら「それは素晴らしくないかあるいはそれは手厳しい」ということは間違いである fact9: そのもねもゆLv.23が素晴らしいとしたらあのみにゅみにゃLv.97は素晴らしいか手厳しい fact10: このもやもちゅLv.71は関係深いかあるいは眩しいかあるいは両方ともだ
fact10 & fact4 & fact2 -> int1: そのもねもゆLv.23は移動し易い; int1 & fact7 -> int2: そのもねもゆLv.23は素晴らしい; int2 & fact5 -> hypothesis;
fact10 & fact4 & fact2 -> int1: {C}{c}; int1 & fact7 -> int2: {D}{c}; int2 & fact5 -> hypothesis;
そのもねもにLv.8が眩しいとするとそのもねもにLv.8は信じ易い
fact11 -> hypothesis;
$facts$ = fact1: 「眩しいモンスターは信じ易い」ということは成り立つ fact2: もしこのもやもちゅLv.71が眩しいならそのもねもゆLv.23は移動し易い fact3: あのみにゅみにゃLv.97は素晴らしいかもしくは手厳しいか両方ともである fact4: もし仮にこのもやもちゅLv.71が関係深いとすればそのもねもゆLv.23は移動し易い fact5: もしそのもねもゆLv.23が素晴らしいならあのみにゅみにゃLv.97は素晴らしいということはないかそれは手厳しい fact6: あのもにょもいLv.54は眩しいかもしくはそれは種蒔きするかまたは両方である fact7: そのもねもゆLv.23は移動し易いなら「それは素晴らしい」ということは成り立つ fact8: もしとあるモンスターは関係深くないなら「それは素晴らしくないかあるいはそれは手厳しい」ということは間違いである fact9: そのもねもゆLv.23が素晴らしいとしたらあのみにゅみにゃLv.97は素晴らしいか手厳しい fact10: このもやもちゅLv.71は関係深いかあるいは眩しいかあるいは両方ともだ ; $hypothesis$ = 「あのみにゅみにゃLv.97は素晴らしくないかもしくはそれは手厳しいかあるいは両方ともである」ということは間違っている ; $proof$ = 
fact10 & fact4 & fact2 -> int1: そのもねもゆLv.23は移動し易い; int1 & fact7 -> int2: そのもねもゆLv.23は素晴らしい; int2 & fact5 -> hypothesis; __DISPROVED__
fact10 & fact4 & fact2 -> int1: {C}{c}; int1 & fact7 -> int2: {D}{c}; int2 & fact5 -> hypothesis; __DISPROVED__