|A) K & L will always be together||B) K is not there, then L will not be there|
|C) k is there, then L will also be there||D) K & L will always be not together|
This would not mean that K and L will always be together. It just implies that, if K is there, then L will also be there.
At the same time, it can happen that L is there but K isn't.
Remember, the condition is on K, not on L.