「あのみわみのLv.26は地中深いモンスターであって取っ付き難い」ということは誤りだ
fact1: もしそのぷにゅぷにゃLv.40が講じるとするとそのみなみにょLv.54は汲み出す fact2: もしもあるモンスターは講じるということはないなら「それは地中深くてまた取っ付き難い」ということは間違いだ fact3: あのみわみのLv.26は地中深い fact4: もしそのみなみにょLv.54が汲み出せばあのみわみのLv.26は取っ付き難い fact5: そのぷにゅぷにゃLv.40は講じる
fact1 & fact5 -> int1: そのみなみにょLv.54は汲み出す; int1 & fact4 -> int2: あのみわみのLv.26は取っ付き難い; int2 & fact3 -> hypothesis;
fact1 & fact5 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact3 -> hypothesis;
「あのみわみのLv.26は地中深いモンスターであって取っ付き難い」ということは誤りだ
fact6 -> int3: もしもあのみわみのLv.26は講じないなら「それは地中深いし更にそれは取っ付き難い」ということは間違いだ;
$facts$ = fact1: もしそのぷにゅぷにゃLv.40が講じるとするとそのみなみにょLv.54は汲み出す fact2: もしもあるモンスターは講じるということはないなら「それは地中深くてまた取っ付き難い」ということは間違いだ fact3: あのみわみのLv.26は地中深い fact4: もしそのみなみにょLv.54が汲み出せばあのみわみのLv.26は取っ付き難い fact5: そのぷにゅぷにゃLv.40は講じる ; $hypothesis$ = 「あのみわみのLv.26は地中深いモンスターであって取っ付き難い」ということは誤りだ ; $proof$ = 
fact1 & fact5 -> int1: そのみなみにょLv.54は汲み出す; int1 & fact4 -> int2: あのみわみのLv.26は取っ付き難い; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact3 -> hypothesis; __DISPROVED__