that if the arousing cascabel does not occur then the fact that the teeter-tottering occurs and/or the reposing does not occur is not true is not true.
sent1: the barbing remittance happens if the stoloniferousness happens. sent2: that the subluxation occurs is brought about by that the overpowering overpayment occurs and/or the non-stoloniferousness. sent3: the billet and the non-biosystematicness happens. sent4: both the non-eutrophicness and the teeter-tottering occurs if the repose happens. sent5: that the teeter-tottering happens and/or the reposing does not occur does not hold if the eutrophicness occurs. sent6: the fact that the polemics or the slowing or both occurs is not right if the boustrophedonicness does not occur. sent7: the teeter-tottering happens and/or the repose does not occur. sent8: the overpowering overpayment does not occur. sent9: if the coloration does not occur that the barbing gulch and/or the quietness happens is false. sent10: that the eutrophicness happens results in that the teeter-tottering does not occur. sent11: if that the arousing cascabel does not occur is not false then either the teeter-tottering occurs or the reposing does not occur or both. sent12: the stoloniferousness but not the overpowering overpayment happens. sent13: the eutrophicness occurs if the barbing remittance but not the arousing cascabel happens.
sent12 -> int1: the stoloniferousness happens.; sent1 & int1 -> int2: that the barbing remittance occurs is correct.; void -> assump1: Let's assume that the arousing cascabel does not occur.; int2 & assump1 -> int3: the fact that the barbing remittance happens and the arousing cascabel does not occur hold.; sent13 & int3 -> int4: the eutrophicness occurs.; sent5 & int4 -> int5: the fact that the teeter-tottering occurs or the reposing does not occur or both does not hold.; [assump1] & int5 -> hypothesis;
the subluxation happens.
$hypothesis$ = that if the arousing cascabel does not occur then the fact that the teeter-tottering occurs and/or the reposing does not occur is not true is not true. ; $context$ = sent1: the barbing remittance happens if the stoloniferousness happens. sent2: that the subluxation occurs is brought about by that the overpowering overpayment occurs and/or the non-stoloniferousness. sent3: the billet and the non-biosystematicness happens. sent4: both the non-eutrophicness and the teeter-tottering occurs if the repose happens. sent5: that the teeter-tottering happens and/or the reposing does not occur does not hold if the eutrophicness occurs. sent6: the fact that the polemics or the slowing or both occurs is not right if the boustrophedonicness does not occur. sent7: the teeter-tottering happens and/or the repose does not occur. sent8: the overpowering overpayment does not occur. sent9: if the coloration does not occur that the barbing gulch and/or the quietness happens is false. sent10: that the eutrophicness happens results in that the teeter-tottering does not occur. sent11: if that the arousing cascabel does not occur is not false then either the teeter-tottering occurs or the reposing does not occur or both. sent12: the stoloniferousness but not the overpowering overpayment happens. sent13: the eutrophicness occurs if the barbing remittance but not the arousing cascabel happens. ; $proof$ = 
sent12 -> int1: the stoloniferousness happens.; sent1 & int1 -> int2: that the barbing remittance occurs is correct.; void -> assump1: Let's assume that the arousing cascabel does not occur.; int2 & assump1 -> int3: the fact that the barbing remittance happens and the arousing cascabel does not occur hold.; sent13 & int3 -> int4: the eutrophicness occurs.; sent5 & int4 -> int5: the fact that the teeter-tottering occurs or the reposing does not occur or both does not hold.; [assump1] & int5 -> hypothesis; __DISPROVED__