「「あのもくもいLv.38は思わしくてまたそれは口さがない」ということは誤りである」ということは真実だ
fact1: そのぴゆぴやLv.63は思わしい fact2: もしも何らかのモンスターが取り扱い易い一方でそれが口さがないということはないならば思わしい fact3: あのもくもいLv.38は口さがない fact4: あのもくもいLv.38は思わしい
fact4 -> int1: あのもくもいLv.38は思わしい; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
「このぽくぽなLv.57は思わしい」ということは成り立つ
fact5 -> int2: このぽくぽなLv.57が取り扱い易いモンスターであって加えて口さがなくないならばこのぽくぽなLv.57は思わしい;
$facts$ = fact1: そのぴゆぴやLv.63は思わしい fact2: もしも何らかのモンスターが取り扱い易い一方でそれが口さがないということはないならば思わしい fact3: あのもくもいLv.38は口さがない fact4: あのもくもいLv.38は思わしい ; $hypothesis$ = 「「あのもくもいLv.38は思わしくてまたそれは口さがない」ということは誤りである」ということは真実だ ; $proof$ = 
fact4 -> int1: あのもくもいLv.38は思わしい; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__