Match each schema with the corresponding rule from predicate logic to prove it$,$ or indicate why it is not a theorem

$()(()=)()=$

Blank $1$ Question $5$

$,=()(=)$

Blank $2$ Question $5$

$=()(==)$

Blank $3$ Question $5$

$*$Note there are more options to choose from than needed, and you can use any option as many times as you wish $($or not at all$)$