Marxist‒Leninist atheism Deductions philosophy of religion is for example Marxist‒Leninist atheism ⇐ (Marxist‒Leninist atheism is a philosophy of religion), (is a is inverse of is for example)