that the Defense happens results in that the uppercut happens.
sent1: that the blacklisting sensitizer does not occur is brought about by that the Defense and the morphologicness occurs. sent2: that the uppercut happens is not false if the morphologicness does not occur. sent3: the Pythagoreanness occurs. sent4: the staving merestone is triggered by that the blacklisting sensitizer does not occur.
void -> assump1: Let's assume that the Defense occurs.; void -> assump2: Let's assume that the morphologicness occurs.; assump1 & assump2 -> int1: the Defense and the morphologicness happens.; int1 & sent1 -> int2: the blacklisting sensitizer does not occur.; int2 & sent4 -> int3: the staving merestone occurs.;
$hypothesis$ = that the Defense happens results in that the uppercut happens. ; $context$ = sent1: that the blacklisting sensitizer does not occur is brought about by that the Defense and the morphologicness occurs. sent2: that the uppercut happens is not false if the morphologicness does not occur. sent3: the Pythagoreanness occurs. sent4: the staving merestone is triggered by that the blacklisting sensitizer does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Defense occurs.; void -> assump2: Let's assume that the morphologicness occurs.; assump1 & assump2 -> int1: the Defense and the morphologicness happens.; int1 & sent1 -> int2: the blacklisting sensitizer does not occur.; int2 & sent4 -> int3: the staving merestone occurs.; __UNKNOWN__