... or AB. However, in 7sage, it is maybe notated ... br />
According to the question key, the inference ... -->H (Which according to the original above, there ... gt;/F, and according to 7sage, actually EF is E ... we replace the EF to whatever these two ...