| <fontcolor="CC6600">**R**</font> | one (x) has the goal of preventing eye damage |
| <fontcolor="CC6600">**S**</font> | one (x) is exposed to prolonged high-intensity UV radiation |
| <fontcolor="CC6600">**W**</font> | one (x) should wear sunglasses |
| <fontcolor="CC6600">**b**</font> | Ken Berry |
<divstyle="text-align: center">
<fontcolor="CC6600">
<b>P1)</b></font> If prolonged exposure to high-intensity UV radiation causes eye damage, then wearing sunglasses that block high-intensity UV radiation prevents eye damage.
<br/>
<fontcolor="CC6600">
<b>(P→Q)</b>
<br/>
<b>P2)</b></font> If wearing sunglasses that block high-intensity UV radiation prevents eye damage and one has the goal of preventing eye damage, then if one is exposed to prolonged high-intensity UV radiation, then one should wear sunglasses.
<br/>
<fontcolor="CC6600">
<b>(∀x(Q∧Rx→(Sx→Wx)))</b>
<br/>
<b>P3)</b></font> Prolonged exposure to high-intensity UV radiation causes eye damage and Ken Berry has the goal of preventing eye damage.
<br/>
<fontcolor="CC6600">
<b>(P∧Rb)</b>
<br/>
<b>C)</b></font> Therefore, if Ken Berry is exposed to prolonged high-intensity UV radiation, then Ken Berry should wear sunglasses.