あのぽなぽえLv.27は嬉しくない
fact1: あのぽなぽえLv.27は心優しくないしそれにし難くない fact2: 仮に「あるモンスターは心置き無くない」ということは事実であるとすればそれは嬉しくてそれにそれは痛ましい fact3: 仮にそのぴえぴちゃLv.17が心置き無くて思慮深いならば「あのぴえぴちょLv.80は心置き無くない」ということは正しい
あのぴえぴちょLv.80は嬉しい
fact4 -> int1: あのぴえぴちょLv.80が心置き無くないとしたら嬉しくて痛ましい;
$facts$ = fact1: あのぽなぽえLv.27は心優しくないしそれにし難くない fact2: 仮に「あるモンスターは心置き無くない」ということは事実であるとすればそれは嬉しくてそれにそれは痛ましい fact3: 仮にそのぴえぴちゃLv.17が心置き無くて思慮深いならば「あのぴえぴちょLv.80は心置き無くない」ということは正しい ; $hypothesis$ = あのぽなぽえLv.27は嬉しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__