I am having trouble with number 17 in this game. I believe both A and E must be false. I am sure the problem lies within the inferences I created. Please help. I set up the following rules and inferences:
Rules:
M->L or S
L->G
L<+>P
S->P
S<+>Z
G->H and Z
Inferences:
L<->G
L<->H (b/c if L then G. If G then H and Z)
L<->Z
S<+>L (b/c if L not P. If S then P)
S<+>Z (combine 2nd and 6th rules with 4th inference.)
S<+>G (same as above)
if, then: ->
if and only if: <->
not together: <+>