that the mitzvah happens but the articling lakeside does not occur is brought about by that the faint happens.
sent1: that the Sabahan does not occur yields that the mitzvah happens and the articling lakeside does not occur. sent2: the parsing Landau does not occur. sent3: the Ptolemaicness does not occur and the parsing Landau does not occur. sent4: that the mitzvah occurs and the articling lakeside happens is caused by the faint. sent5: the Sabahanness does not occur if not the humbling but the fainting happens.
void -> assump1: Let's assume that the humbleness occurs.; sent3 -> int1: the Ptolemaicness does not occur.;
$hypothesis$ = that the mitzvah happens but the articling lakeside does not occur is brought about by that the faint happens. ; $context$ = sent1: that the Sabahan does not occur yields that the mitzvah happens and the articling lakeside does not occur. sent2: the parsing Landau does not occur. sent3: the Ptolemaicness does not occur and the parsing Landau does not occur. sent4: that the mitzvah occurs and the articling lakeside happens is caused by the faint. sent5: the Sabahanness does not occur if not the humbling but the fainting happens. ; $proof$ = 
void -> assump1: Let's assume that the humbleness occurs.; sent3 -> int1: the Ptolemaicness does not occur.; __UNKNOWN__