R_i

:

if

X is A_i

then

Y is B_i

Q

:

X is A'

Conclusion

¬

Y is B'