Bitcoins are no more traceable than water as it is poured from bucket to bucket and mixed with water from other buckets. You could say that a specific fraction comes from a certain original bucket, but you still can't identify any particular portion of the water as being from that original bucket.
But more accurately, bitcoins are fungible because there are no bitcoins -- there are just numbers. You can say 7 - 2 = 5 and 4 - 1 = 3, and 2 + 1 = 3, but to say that it follows that a portion of 3 comes from 7 is absurd.
People might say that bitcoins are not fungible because a payment can be rejected because of a transaction chain. But, then dollars are not fungible because a payment can be rejected based on the bank it is sent from, or because a payment can be rejected because a bill's serial number contains 666.