the measuring charmer does not occur if that the Ping does not occur and/or the powering does not occur does not hold.
sent1: that the tapotement does not occur or the impropriety does not occur or both is false. sent2: the fact that either the anxiolytic does not occur or the trundling skipjack does not occur or both is false. sent3: the azidoness and/or the measuring forte prevents that the measuring charmer happens. sent4: if that the Ping does not occur and/or the powering does not occur is not true the measuring forte happens.
void -> assump1: Let's assume that the fact that the Ping does not occur and/or the power does not occur is not true.; sent4 & assump1 -> int1: the measuring forte happens.; int1 -> int2: the azidoness happens or the measuring forte occurs or both.; int2 & sent3 -> int3: the measuring charmer does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the measuring charmer does not occur if that the Ping does not occur and/or the powering does not occur does not hold. ; $context$ = sent1: that the tapotement does not occur or the impropriety does not occur or both is false. sent2: the fact that either the anxiolytic does not occur or the trundling skipjack does not occur or both is false. sent3: the azidoness and/or the measuring forte prevents that the measuring charmer happens. sent4: if that the Ping does not occur and/or the powering does not occur is not true the measuring forte happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Ping does not occur and/or the power does not occur is not true.; sent4 & assump1 -> int1: the measuring forte happens.; int1 -> int2: the azidoness happens or the measuring forte occurs or both.; int2 & sent3 -> int3: the measuring charmer does not occur.; [assump1] & int3 -> hypothesis; __PROVED__