the flagellating follies occurs if the nonreturnableness happens.
sent1: the flagellating follies happens if the flagellateness does not occur and the SIGINT does not occur. sent2: that the grubbing disinfectant does not occur leads to that the secondment occurs and the topping indicative happens. sent3: that both the non-doricness and the flagellating follies happens does not hold if the brachiopod does not occur. sent4: the jactitation does not occur if the floralness occurs. sent5: the brachiopod does not occur and the doricness does not occur. sent6: the grubbing disinfectant does not occur. sent7: that the brachiopod does not occur and the doricness does not occur prevents the flagellateness. sent8: that the scintillation happens and the ingress does not occur is not right if the nonreturnableness happens. sent9: that the SIGINT does not occur is not wrong if that the scintillation happens and the ingress does not occur does not hold. sent10: if the flagellating tetrasaccharide occurs then that the rendering and the lancers happens is wrong. sent11: the brachiopod does not occur and the tumult does not occur if that the secondment occurs is not wrong.
void -> assump1: Let's assume that the nonreturnableness happens.; sent8 & assump1 -> int1: the fact that the scintillation but not the ingress occurs is wrong.; int1 & sent9 -> int2: the SIGINT does not occur.; sent7 & sent5 -> int3: that the flagellate does not occur is true.; int2 & int3 -> int4: the flagellateness does not occur and the SIGINT does not occur.; int4 & sent1 -> int5: the flagellating follies occurs.; [assump1] & int5 -> hypothesis;
the speleology does not occur.
sent2 & sent6 -> int6: both the secondment and the topping indicative happens.; int6 -> int7: the fact that the secondment occurs is not false.; sent11 & int7 -> int8: the brachiopod does not occur and the tumult does not occur.; int8 -> int9: the brachiopodness does not occur.; sent3 & int9 -> int10: the fact that not the doricness but the flagellating follies occurs is wrong.;
$hypothesis$ = the flagellating follies occurs if the nonreturnableness happens. ; $context$ = sent1: the flagellating follies happens if the flagellateness does not occur and the SIGINT does not occur. sent2: that the grubbing disinfectant does not occur leads to that the secondment occurs and the topping indicative happens. sent3: that both the non-doricness and the flagellating follies happens does not hold if the brachiopod does not occur. sent4: the jactitation does not occur if the floralness occurs. sent5: the brachiopod does not occur and the doricness does not occur. sent6: the grubbing disinfectant does not occur. sent7: that the brachiopod does not occur and the doricness does not occur prevents the flagellateness. sent8: that the scintillation happens and the ingress does not occur is not right if the nonreturnableness happens. sent9: that the SIGINT does not occur is not wrong if that the scintillation happens and the ingress does not occur does not hold. sent10: if the flagellating tetrasaccharide occurs then that the rendering and the lancers happens is wrong. sent11: the brachiopod does not occur and the tumult does not occur if that the secondment occurs is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the nonreturnableness happens.; sent8 & assump1 -> int1: the fact that the scintillation but not the ingress occurs is wrong.; int1 & sent9 -> int2: the SIGINT does not occur.; sent7 & sent5 -> int3: that the flagellate does not occur is true.; int2 & int3 -> int4: the flagellateness does not occur and the SIGINT does not occur.; int4 & sent1 -> int5: the flagellating follies occurs.; [assump1] & int5 -> hypothesis; __PROVED__