if the equation occurs then the protestation occurs.
sent1: the equation triggers that the wearing lexicography does not occur and the decoupage does not occur. sent2: the wearing lexicography does not occur. sent3: the artfulness occurs if the reexamination occurs. sent4: the epentheticness happens. sent5: that the shedding happens is not false. sent6: the rabbetting fraxinella does not occur and the redshift does not occur. sent7: if the decoupage does not occur the protestation happens. sent8: the wearing lexicography does not occur if the equation happens. sent9: that the protestation does not occur and the equation does not occur prevents that the artfulness happens. sent10: the creation happens.
void -> assump1: Let's assume that the equation occurs.; sent1 & assump1 -> int1: the wearing lexicography does not occur and the decoupage does not occur.; int1 -> int2: the decoupage does not occur.; int2 & sent7 -> int3: the protestation happens.; [assump1] & int3 -> hypothesis;
the artfulness does not occur.
$hypothesis$ = if the equation occurs then the protestation occurs. ; $context$ = sent1: the equation triggers that the wearing lexicography does not occur and the decoupage does not occur. sent2: the wearing lexicography does not occur. sent3: the artfulness occurs if the reexamination occurs. sent4: the epentheticness happens. sent5: that the shedding happens is not false. sent6: the rabbetting fraxinella does not occur and the redshift does not occur. sent7: if the decoupage does not occur the protestation happens. sent8: the wearing lexicography does not occur if the equation happens. sent9: that the protestation does not occur and the equation does not occur prevents that the artfulness happens. sent10: the creation happens. ; $proof$ = 
void -> assump1: Let's assume that the equation occurs.; sent1 & assump1 -> int1: the wearing lexicography does not occur and the decoupage does not occur.; int1 -> int2: the decoupage does not occur.; int2 & sent7 -> int3: the protestation happens.; [assump1] & int3 -> hypothesis; __PROVED__