Translate the following argument in the language of SL and then prove that is valid using the natural deduction method. 

If people are willing to give to charity, then wealth redistribution is not necessary. If they aren't willing to give to charity, then wealth redistribution will lead to reactionary politics. If wealth redistribution is either not necessary or will lead to reactionary politics, then wealth redistribution is not an imperative of justice. Therefore, wealth redistribution is not an imperative of justice.

Rules we are allowed to use:

Horseshoe elimination

& Elimination

& Introduction

Or elimination

Or introduction

Biconditional introduction

Biconditional elimination

Reiteration

Horseshoe introduction

Negation Introduction

Negation elimination