@JesseMcCarthy You can take the contrapositive which would be " should play joke -> /contempt and /believe it would cause harm " but that would not allow us to conclude that a joke should be played because the "should be" condition is sufficient and on the left side of the arrow.