Translate the following statements into symbolic form using capital letters to represent affirmative English statements.
Three-strikes laws will be enforced and longer sentences imposed only if hundreds of new prisons are built, and that will happen only if taxes are increased.