「抜け易いし言い訳がましいモンスターはいる」ということは偽である
fact1: そのもねもにLv.70は言い訳がましい fact2: そのもねもにLv.70は悲しい fact3: そのもねもにLv.70は抜け易い
fact3 & fact1 -> int1: そのもねもにLv.70は抜け易くて言い訳がましい; int1 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
何らかのモンスターは悲しくて懐っこい
$facts$ = fact1: そのもねもにLv.70は言い訳がましい fact2: そのもねもにLv.70は悲しい fact3: そのもねもにLv.70は抜け易い ; $hypothesis$ = 「抜け易いし言い訳がましいモンスターはいる」ということは偽である ; $proof$ = 
fact3 & fact1 -> int1: そのもねもにLv.70は抜け易くて言い訳がましい; int1 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis; __DISPROVED__