Shows PLN's probabilistic deduction with strength-truth-values propagating through inheritance chains.