Consider the following two statements.
- $S_1$: If a candidate is known to be corrupt, then he will not be elected
- $S_2$: If a candidate is kind, he will be elected
Which one of the following statements follows from $S_1$ and $S_2$ as per sound inference rules of logic?
- If a person is known to be corrupt, he is kind
- If a person is not known to be corrupt, he is not kind
- If a person is kind, he is not known to be corrupt
- If a person is not kind, he is not known to be corrupt