If the contract does not prohibit him from going to court,...
If the contract does not prohibit him from going to court, he is free to do so. Otherwise he cannot.
If the contract does not prohibit him from going to court, he is free to do so. Otherwise he cannot.