このぴやぴちょLv.11は難破する
fact1: あらゆるモンスターは塩辛い fact2: なにがしかのモンスターはＯＢ臭くないなら「結集すし更にそれは難破する」ということは成り立たない
このぴやぴちょLv.11は難破しない
fact3 -> int1: もしこのぽなぽくLv.56はＯＢ臭くないとしたら「このぽなぽくLv.56は結集すし加えて難破する」ということは成り立たない;
$facts$ = fact1: あらゆるモンスターは塩辛い fact2: なにがしかのモンスターはＯＢ臭くないなら「結集すし更にそれは難破する」ということは成り立たない ; $hypothesis$ = このぴやぴちょLv.11は難破する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__