If all red, boiled lobsters are dead, and all dead, boiled lobsters are red, does it follow that all red, dead lobsters are boiled?