Let $X = Y = \{1, 2, 3, 4, 5\}$, and
[Light] = $1 / 1 + 0.8 / 2 + 0.3 / 3 + 0.1 / 4$, [Heavy] = $0.1 / 2 + 0.3 / 3 + 0.8 / 4 + 1 / 5$, and $R = (A \times B) \bigcup (A^{c} \times Y)$ serves as the truth domain of $(a(x)) \to (b(y))$.
"If $x$ is quite heavy, then $y$ is quite light."
Given that $x$ is heavy, what can be said about $y$?

Options:
A. $A=[Quite Heavy]=0.05/2+0.12/3+0.58/4+0.94/5$ $\\B=[Quite Light]=1/1+0.58/2+0.12/3+0.05/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.95/2+0.88/3+0.41|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.95&0.95&0.95&0.95&0.95\\0.88&0.88&0.88&0.88&0.88\\0.58&0.58&0.41&0.41&0.41\\1&0.58&0.12&0.05&0\end{bmatrix}$
B. $A=[Quite Heavy]=0.10/2+0.13/3+0.60/4+0.88/5$ $\\B=[Quite Light]=1/1+0.60/2+0.13/3+0.10/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.87/2+0.83/3+0.44|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.90&0.90&0.90&0.90&0.90\\0.83&0.83&0.83&0.83&0.83\\0.60&0.60&0.44&0.44&0.44\\1&0.60&0.13&0.10&0\end{bmatrix}$
C. $A=[Quite Heavy]=0.07/2+0.08/3+0.59/4+0.92/5$ $\\B=[Quite Light]=1/1+0.59/2+0.08/3+0.07/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.91/2+0.86/3+0.43|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.92&0.92&0.92&0.92&0.92\\0.86&0.86&0.86&0.86&0.86\\0.59&0.59&0.43&0.43&0.43\\1&0.59&0.08&0.07&0\end{bmatrix}$
D. $A=[Quite Heavy]=0.02/2+0.08/3+0.63/4+0.99/5$ $\\B=[Quite Light]=1/1+0.63/2+0.08/3+0.02/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.98/2+0.92/3+0.37|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.97&0.97&0.97&0.97&0.97\\0.92&0.92&0.92&0.92&0.92\\0.63&0.63&0.37&0.37&0.37\\1&0.63&0.08&0.02&0\end{bmatrix}$
E. $A=[Quite Heavy]=0.03/2+0.10/3+0.60/4+0.95/5$ $\\B=[Quite Light]=1/1+0.60/2+0.10/3+0.03/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.97/2+0.90/3+0.40|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.96&0.96&0.96&0.96&0.96\\0.90&0.90&0.90&0.90&0.90\\0.60&0.60&0.40&0.40&0.40\\1&0.60&0.10&0.03&0\end{bmatrix}$
F. $A=[Quite Heavy]=0.01/2+0.09/3+0.64/4+1/5$ $\\B=[Quite Light]=1/1+0.64/2+0.09/3+0.01/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.99/2+0.91/3+0.36|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.99&0.99&0.99&0.99&0.99\\0.91&0.91&0.91&0.91&0.91\\0.64&0.64&0.36&0.36&0.36\\1&0.64&0.09&0.01&0\end{bmatrix}$
G. $A=[Quite Heavy]=0.09/2+0.16/3+0.57/4+0.89/5$ $\\B=[Quite Light]=1/1+0.57/2+0.16/3+0.09/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.89/2+0.84/3+0.42|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.94&0.94&0.94&0.94&0.94\\0.84&0.84&0.84&0.84&0.84\\0.57&0.57&0.42&0.42&0.42\\1&0.57&0.16&0.09&0\end{bmatrix}$
H. $A=[Quite Heavy]=0.08/2+0.14/3+0.62/4+0.90/5$ $\\B=[Quite Light]=1/1+0.62/2+0.14/3+0.08/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.90/2+0.85/3+0.35|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.89&0.89&0.89&0.89&0.89\\0.85&0.85&0.85&0.85&0.85\\0.62&0.62&0.35&0.35&0.35\\1&0.62&0.14&0.08&0\end{bmatrix}$
I. $A=[Quite Heavy]=0.04/2+0.11/3+0.65/4+0.96/5$ $\\B=[Quite Light]=1/1+0.65/2+0.11/3+0.04/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.96/2+0.89/3+0.39|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.94&0.94&0.94&0.94&0.94\\0.89&0.89&0.89&0.89&0.89\\0.65&0.65&0.39&0.39&0.39\\1&0.65&0.11&0.04&0\end{bmatrix}$
J. $A=[Quite Heavy]=0.06/2+0.15/3+0.61/4+0.91/5$ $\\B=[Quite Light]=1/1+0.61/2+0.15/3+0.06/4$ $\\A^{\prime}=[Not Quite Heavy]=1/1+0.92/2+0.87/3+0.38|4+0/5$
$A\times B\bigcup A^{\prime}\times Y=\begin{bmatrix}1&1&1&1&1\\0.93&0.93&0.93&0.93&0.93\\0.87&0.87&0.87&0.87&0.87\\0.61&0.61&0.38&0.38&0.38\\1&0.61&0.15&0.06&0\end{bmatrix}$
Answer: F