AOO
由于小前题是特称否定命题O,而两个特称前提不能得出结论,所以大前提是全称命题
又由于两个否定命题不能得出结论,所以大前提是肯定命题,所以大前提是A命题
由于两个前提中有一个是特称的,则结论也特称的
并且两个天体中有一个是否定的,则结论也否定的
所以结论也是特称否定命题O
所以推理形式是AOO