Description: Elimination of a nested antecedent as a partial converse of ja . If the
proposition that ps takes place or ph does not is a sufficient
condition for ch , then ps by itself is a sufficient condition for
ch . Identical to jarr . Proposition 11 of Frege1879 p. 36.
(Contributed by RP, 24-Dec-2019)(Proof modification is discouraged.)