Prove the following argument:
It is false that both Arthur is not anxious and Billy is not boisterous
If Xavier is difficult and Billy is boisterous then Penelope is a prude
If Xavier is not difficult then Arthur is anxious
Arthur is not anxious
Therefore, it is false that if Xavier is difficult then Penelope is not a prude.
Symbolic Logic is considered.