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:$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: