the scotomatousness occurs if the ineligibleness happens.
sent1: if the truss does not occur then both the Noachianness and the error occurs. sent2: both the scotomatousness and the toppling happens if the nudging does not occur. sent3: the scotomatousness and the nudging happens if the toppling does not occur. sent4: that the ineligibleness occurs and the dynasticness does not occur results in that the palatalizing happens. sent5: the folly and/or the biosystematicsness occurs. sent6: that the truss does not occur is not false. sent7: the nudge occurs if that the toppling does not occur is correct. sent8: the dynasticness occurs. sent9: the nudging occurs. sent10: the parade happens. sent11: the righteousness occurs. sent12: if the grapevine happens then the noneffervescentness does not occur.
void -> assump1: Let's assume that the ineligibleness occurs.; assump1 -> int1: the ineligibleness or the dynasticness or both occurs.;
the fact that the Noachianness happens and the palatalizing happens hold.
sent1 & sent6 -> int2: the Noachianness and the error occurs.; int2 -> int3: the Noachianness happens.;
$hypothesis$ = the scotomatousness occurs if the ineligibleness happens. ; $context$ = sent1: if the truss does not occur then both the Noachianness and the error occurs. sent2: both the scotomatousness and the toppling happens if the nudging does not occur. sent3: the scotomatousness and the nudging happens if the toppling does not occur. sent4: that the ineligibleness occurs and the dynasticness does not occur results in that the palatalizing happens. sent5: the folly and/or the biosystematicsness occurs. sent6: that the truss does not occur is not false. sent7: the nudge occurs if that the toppling does not occur is correct. sent8: the dynasticness occurs. sent9: the nudging occurs. sent10: the parade happens. sent11: the righteousness occurs. sent12: if the grapevine happens then the noneffervescentness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the ineligibleness occurs.; assump1 -> int1: the ineligibleness or the dynasticness or both occurs.; __UNKNOWN__