if the unregretfulness occurs the infelicitousness occurs but the wearing figured does not occur.
sent1: that the galvanism does not occur and the Spartanness does not occur is incorrect. sent2: the yip does not occur. sent3: the lapse occurs if that the hagiolatry does not occur and the yip does not occur does not hold. sent4: if the yip occurs the lapse occurs. sent5: that the wearing figured happens is prevented by that the lapse occurs and the unregretfulness happens. sent6: the wearing dimenhydrinate occurs. sent7: the fact that the hagiolatry occurs is not incorrect.
void -> assump2: Let's assume that the hagiolatry does not occur and the yip does not occur.; assump2 -> int1: that the hagiolatry does not occur is not incorrect.; int1 & sent7 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the hagiolatry does not occur and the yip does not occur is not correct.; int3 & sent3 -> int4: the lapsing happens.; void -> assump1: Let's assume that the unregretfulness happens.; int4 & assump1 -> int5: both the lapsing and the unregretfulness occurs.; int5 & sent5 -> int6: the wearing figured does not occur.;
$hypothesis$ = if the unregretfulness occurs the infelicitousness occurs but the wearing figured does not occur. ; $context$ = sent1: that the galvanism does not occur and the Spartanness does not occur is incorrect. sent2: the yip does not occur. sent3: the lapse occurs if that the hagiolatry does not occur and the yip does not occur does not hold. sent4: if the yip occurs the lapse occurs. sent5: that the wearing figured happens is prevented by that the lapse occurs and the unregretfulness happens. sent6: the wearing dimenhydrinate occurs. sent7: the fact that the hagiolatry occurs is not incorrect. ; $proof$ = 
void -> assump2: Let's assume that the hagiolatry does not occur and the yip does not occur.; assump2 -> int1: that the hagiolatry does not occur is not incorrect.; int1 & sent7 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the hagiolatry does not occur and the yip does not occur is not correct.; int3 & sent3 -> int4: the lapsing happens.; void -> assump1: Let's assume that the unregretfulness happens.; int4 & assump1 -> int5: both the lapsing and the unregretfulness occurs.; int5 & sent5 -> int6: the wearing figured does not occur.; __UNKNOWN__