the lament does not occur.
sent1: if the flowage does not occur the lament does not occur and the training does not occur. sent2: that the hypothecating maker happens is brought about by that the lament does not occur and the training does not occur. sent3: the flowage occurs. sent4: if the lament occurs then the training occurs. sent5: that the hypothecating Nicosia occurs brings about that the complaint happens but the geometricness does not occur. sent6: if the flowage does not occur both the lamenting and the training happens. sent7: that both the complaint and the non-geometricness happens yields that the flowage does not occur.
void -> assump1: Let's assume that the lament happens.; sent4 & assump1 -> int1: the training occurs.;
the fact that that the lament does not occur is true is incorrect.
$hypothesis$ = the lament does not occur. ; $context$ = sent1: if the flowage does not occur the lament does not occur and the training does not occur. sent2: that the hypothecating maker happens is brought about by that the lament does not occur and the training does not occur. sent3: the flowage occurs. sent4: if the lament occurs then the training occurs. sent5: that the hypothecating Nicosia occurs brings about that the complaint happens but the geometricness does not occur. sent6: if the flowage does not occur both the lamenting and the training happens. sent7: that both the complaint and the non-geometricness happens yields that the flowage does not occur. ; $proof$ = 
void -> assump1: Let's assume that the lament happens.; sent4 & assump1 -> int1: the training occurs.; __UNKNOWN__