数学豚と町田豚の二匹の殺処分完了でOK?