あのぽいぽえLv.64は発現し易い
fact1: もし仮に「何らかのモンスターは賢しくないがしかし厚い」ということは偽ならば発現し易い fact2: そのぴにょぴよLv.14が厚いとしたらあのぽいぽえLv.64は発現し易い fact3: もしもそのぴにょぴよLv.14が発現し易いとするとあのぽいぽえLv.64は厚い fact4: 全てのモンスターは厚い fact5: もし仮にあのぽいぽえLv.64は厚いとすれば「そのぴにょぴよLv.14は発現し易い」ということは真実である
fact4 -> int1: そのぴにょぴよLv.14は厚い; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{aa}; int1 & fact2 -> hypothesis;
そのぽちゅぽにLv.21は発現し易い
fact6 -> int2: もしも「そのぽちゅぽにLv.21は賢しいということはないが厚い」ということは成り立たないとすると発現し易い;
$facts$ = fact1: もし仮に「何らかのモンスターは賢しくないがしかし厚い」ということは偽ならば発現し易い fact2: そのぴにょぴよLv.14が厚いとしたらあのぽいぽえLv.64は発現し易い fact3: もしもそのぴにょぴよLv.14が発現し易いとするとあのぽいぽえLv.64は厚い fact4: 全てのモンスターは厚い fact5: もし仮にあのぽいぽえLv.64は厚いとすれば「そのぴにょぴよLv.14は発現し易い」ということは真実である ; $hypothesis$ = あのぽいぽえLv.64は発現し易い ; $proof$ = 
fact4 -> int1: そのぴにょぴよLv.14は厚い; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa}; int1 & fact2 -> hypothesis; __PROVED__