... -->H (the replaced first )
then the inference ... the original above, which is not inference can ... />
E-->H (Which according to the original above, there ...
/F-->H (which is different from the above ... is E/F, which leading to the hypothesis that if ...