Los001

Premises:


Conclusion:


  Proof Trace