Translate each sentence below in both short form and long form. Use CamelCase for predicates in long form, such as SoldRubies(x,y) to mean x sold rubies to y. Use S(x,y) for short form of SoldRubies(x,y). Obey all conventions from BOOL and PROP (no spaces, -> for arrow, etc.). 1. Quinn is guilty. Long: Short: 2. Quinn sold rubies to Pia. Long: Short: 3. Raquel and Pia are guilty. Long: Short: 4. Quinn and Raquel sold rubies to Pia. Long: Short: 5. If Quinn sold rubies to Pia, then Pia sold rubies to Raquel. Long: Short