... if such dogs are capable of blocking UV rays with their ... ) (L) -----> (P) from the formal logic above? And, more importantly, how ... you know when this kind of lukewarm logic is okay, and when ... my guess is that the formal logic translation of step 3 will be ...