that the latter does not occur and the hell does not occur if the fact that the subtilizing regosol happens is correct is not right.
sent1: if the fact that the euchre happens and the subtilizing regosol does not occur is not right the euchre does not occur. sent2: the placement does not occur and the latter does not occur if the diabolatry occurs. sent3: the latterness does not occur or the subtilizing regosol does not occur or both if the hell occurs. sent4: the diabolatry occurs. sent5: the skipping mediacy happens. sent6: that the diabolatry occurs brings about that the placement does not occur. sent7: if that the diabolatry does not occur is correct then the fact that that either the placement does not occur or the latter does not occur or both is not incorrect does not hold. sent8: that the discovering does not occur is prevented by that the subtilizing regosol does not occur and the skipping mediacy does not occur. sent9: that both the skipping mediacy and the subtilizing regosol happens prevents that the hell occurs. sent10: if that the skipping mediacy does not occur is not false then that the euchre but not the subtilizing regosol happens does not hold. sent11: that if the fact that either the placement does not occur or the latter does not occur or both does not hold the vitiliginousness does not occur is right. sent12: the wheellessness occurs. sent13: if that the diabolatry does not occur and/or the pollination happens is not right then the skipping mediacy does not occur. sent14: the non-Unionness and the non-dependableness happens if the appropriating falafel happens. sent15: the contest does not occur and the pedaling does not occur.
void -> assump1: Let's assume that the subtilizing regosol occurs.; sent5 & assump1 -> int1: the skipping mediacy and the subtilizing regosol occurs.; int1 & sent9 -> int2: the hell does not occur.; sent2 & sent4 -> int3: the placement does not occur and the latter does not occur.; int3 -> int4: the latter does not occur.; int2 & int4 -> int5: the latter does not occur and the hell does not occur.; [assump1] & int5 -> hypothesis;
the discovering happens.
$hypothesis$ = that the latter does not occur and the hell does not occur if the fact that the subtilizing regosol happens is correct is not right. ; $context$ = sent1: if the fact that the euchre happens and the subtilizing regosol does not occur is not right the euchre does not occur. sent2: the placement does not occur and the latter does not occur if the diabolatry occurs. sent3: the latterness does not occur or the subtilizing regosol does not occur or both if the hell occurs. sent4: the diabolatry occurs. sent5: the skipping mediacy happens. sent6: that the diabolatry occurs brings about that the placement does not occur. sent7: if that the diabolatry does not occur is correct then the fact that that either the placement does not occur or the latter does not occur or both is not incorrect does not hold. sent8: that the discovering does not occur is prevented by that the subtilizing regosol does not occur and the skipping mediacy does not occur. sent9: that both the skipping mediacy and the subtilizing regosol happens prevents that the hell occurs. sent10: if that the skipping mediacy does not occur is not false then that the euchre but not the subtilizing regosol happens does not hold. sent11: that if the fact that either the placement does not occur or the latter does not occur or both does not hold the vitiliginousness does not occur is right. sent12: the wheellessness occurs. sent13: if that the diabolatry does not occur and/or the pollination happens is not right then the skipping mediacy does not occur. sent14: the non-Unionness and the non-dependableness happens if the appropriating falafel happens. sent15: the contest does not occur and the pedaling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the subtilizing regosol occurs.; sent5 & assump1 -> int1: the skipping mediacy and the subtilizing regosol occurs.; int1 & sent9 -> int2: the hell does not occur.; sent2 & sent4 -> int3: the placement does not occur and the latter does not occur.; int3 -> int4: the latter does not occur.; int2 & int4 -> int5: the latter does not occur and the hell does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__