기호화하고 부당성 증명하는 거임

p:신은 악을 없애려 한다
q:신은 악을 없앨 수 있다
r:그는 무기력한 신이다
s:그는 심술궃은 신이다
t:악은 존재한다
u:신은 존재한다

1. (p&~q)->r
2. (q&~p)->s
3. (~p&~q)->t
4. t
5. u->(~r&~s)
따라서 ~u