∵安哲拉是夏天出的

∴白炽应该也是夏天出的

∵黑是夏天出的

锡兰也是夏天出的

安哲拉是白炽保镖

黑也是锡兰保镖

∴黑≈安哲拉，锡兰≈白炽

而黑比锡兰高一星

∴安哲拉应该也比白炽高一星

∴白炽四星

论证成立！