「そのみちょみのLv.39は発生し易いかあるいは瞬きするかあるいはどちらもだ」ということは誤りである
fact1: 仮になにがしかのモンスターが宜しならばそれは増え難くない fact2: 賢しくないモンスターは宜し fact3: このぽにょぽえLv.6は発生し易い fact4: もしこのもにゃもわLv.72が増え難いとしたらそのみわみねLv.14は宜し fact5: そのみわみねLv.14は宜しとすると「そのみちょみのLv.39は瞬きする」ということは事実だ fact6: もしこのもにゃもわLv.72は扱い易くないなら「「このもにゃもわLv.72は賢しくてそれは良し」ということは間違いである」ということは事実である fact7: 仮に何らかのモンスターは増え難くないなら「それは発生し易いかあるいはそれは瞬きする」ということは成り立たない fact8: このもにゃもわLv.72は増え難い
fact4 & fact8 -> int1: そのみわみねLv.14は宜し; int1 & fact5 -> int2: そのみちょみのLv.39は瞬きする; int2 -> hypothesis;
fact4 & fact8 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 -> hypothesis;
「そのみちょみのLv.39は発生し易いかあるいは瞬きするかあるいはどちらもだ」ということは誤りである
fact9 -> int3: そのみちょみのLv.39は増え難くないとすると「そのみちょみのLv.39は発生し易いかあるいは瞬きするかまたはどちらもだ」ということは成り立たない; fact10 -> int4: 「そのみちょみのLv.39は宜しない」ということは誤りだとしたら「そのみちょみのLv.39は増え難いということはない」ということは本当だ; fact11 -> int5: 仮にそのみちょみのLv.39が賢しくないならばそのみちょみのLv.39は宜し;
$facts$ = fact1: 仮になにがしかのモンスターが宜しならばそれは増え難くない fact2: 賢しくないモンスターは宜し fact3: このぽにょぽえLv.6は発生し易い fact4: もしこのもにゃもわLv.72が増え難いとしたらそのみわみねLv.14は宜し fact5: そのみわみねLv.14は宜しとすると「そのみちょみのLv.39は瞬きする」ということは事実だ fact6: もしこのもにゃもわLv.72は扱い易くないなら「「このもにゃもわLv.72は賢しくてそれは良し」ということは間違いである」ということは事実である fact7: 仮に何らかのモンスターは増え難くないなら「それは発生し易いかあるいはそれは瞬きする」ということは成り立たない fact8: このもにゃもわLv.72は増え難い ; $hypothesis$ = 「そのみちょみのLv.39は発生し易いかあるいは瞬きするかあるいはどちらもだ」ということは誤りである ; $proof$ = 
fact4 & fact8 -> int1: そのみわみねLv.14は宜し; int1 & fact5 -> int2: そのみちょみのLv.39は瞬きする; int2 -> hypothesis; __DISPROVED__
fact4 & fact8 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 -> hypothesis; __DISPROVED__