あのぴちゅぴにょLv.30は間違い無い
fact1: あのぴちゅぴにょLv.30は喜悦する fact2: もしもそのみなみくLv.81が喜悦すればあのぴちゅぴにょLv.30は間違い無い fact3: もし仮にあのぴちゅぴにょLv.30が喜悦するとすればそのみなみくLv.81は間違い無い fact4: 「とあるモンスターは空焼きするとすると「それは喜悦しなくてまた痛み易い」ということは誤っている」ということは正しい
あのぴちゅぴにょLv.30は間違い無くない
fact5 -> int1: もし仮にそのみなみくLv.81は空焼きすれば「そのみなみくLv.81は喜悦しないけど痛み易い」ということは間違いだ;
$facts$ = fact1: あのぴちゅぴにょLv.30は喜悦する fact2: もしもそのみなみくLv.81が喜悦すればあのぴちゅぴにょLv.30は間違い無い fact3: もし仮にあのぴちゅぴにょLv.30が喜悦するとすればそのみなみくLv.81は間違い無い fact4: 「とあるモンスターは空焼きするとすると「それは喜悦しなくてまた痛み易い」ということは誤っている」ということは正しい ; $hypothesis$ = あのぴちゅぴにょLv.30は間違い無い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__