以下のように仮定する。「あのぴちゃぴのLv.55は幅広くない」ということは成り立つということはない
fact1: あのぴちゃぴのLv.55は憂い fact2: このみにゃみえLv.14は憂くない
$facts$ = fact1: あのぴちゃぴのLv.55は憂い fact2: このみにゃみえLv.14は憂くない ; $hypothesis$ = 以下のように仮定する。「あのぴちゃぴのLv.55は幅広くない」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__