the feudatoriness does not occur if the stereoscopicness happens.
sent1: the feudatoriness does not occur if the stereoscopicness or the reciprocating lightbulb or both happens. sent2: the feudatoriness is triggered by that the stereoscopicness happens. sent3: if that the drowsing seaborgium occurs is not incorrect then the expostulating does not occur. sent4: if the stereoscopicness does not occur and the reciprocating lightbulb does not occur the birr does not occur. sent5: the oophorectomy does not occur. sent6: if the reciprocating lightbulb happens then the feudatoriness does not occur. sent7: that the stereoscopicness occurs or that the reciprocating lightbulb happens or both leads to the feudatoriness. sent8: if either the mumbling happens or the decorousness happens or both the drowsing Trigonella occurs. sent9: the feudatoriness happens.
void -> assump1: Let's assume that the stereoscopicness happens.; assump1 -> int1: the stereoscopicness occurs and/or the reciprocating lightbulb occurs.; int1 & sent1 -> int2: the feudatoriness does not occur.; [assump1] & int2 -> hypothesis;
that the birr does not occur is not wrong.
$hypothesis$ = the feudatoriness does not occur if the stereoscopicness happens. ; $context$ = sent1: the feudatoriness does not occur if the stereoscopicness or the reciprocating lightbulb or both happens. sent2: the feudatoriness is triggered by that the stereoscopicness happens. sent3: if that the drowsing seaborgium occurs is not incorrect then the expostulating does not occur. sent4: if the stereoscopicness does not occur and the reciprocating lightbulb does not occur the birr does not occur. sent5: the oophorectomy does not occur. sent6: if the reciprocating lightbulb happens then the feudatoriness does not occur. sent7: that the stereoscopicness occurs or that the reciprocating lightbulb happens or both leads to the feudatoriness. sent8: if either the mumbling happens or the decorousness happens or both the drowsing Trigonella occurs. sent9: the feudatoriness happens. ; $proof$ = 
void -> assump1: Let's assume that the stereoscopicness happens.; assump1 -> int1: the stereoscopicness occurs and/or the reciprocating lightbulb occurs.; int1 & sent1 -> int2: the feudatoriness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__