Quantificational: Give a proof $($if valid$)$ or refutation $($if invalid$).$ Use indentations before each line to signal assumption lines. If multiple assumption lines,

~$($x$)$~Ex

~$($x$)$Rx

$($x$)$~$($~$($Rx v ~Ex$)$ ~Gx$)$

$(3$x$)$Gx

use $*$ for $,>$ for $,=$ for $,$ :: for $,$ and $3$ for $$