根据模态对当关系，由“某甲必然是杀人犯”真，可推出“某甲可能是杀人犯（），某甲必然不是杀人犯（）。”