How to translate English sentences into formal sentence logic. Title of music played is "I Guess You're Right"
