that the scuffing Cycliophora does not occur is not incorrect.
sent1: that both the affray and the spanging occurs results in the non-inharmoniousness. sent2: if the resurvey does not occur the fact that both the questionableness and the non-Ephesianness occurs is incorrect. sent3: if the goal does not occur and/or the conic happens then the scuffing Cycliophora occurs. sent4: the non-dactylicness and the cloning Raskolnikov occurs if the fact that the repetition occurs is correct. sent5: if that the shopping does not occur and the alternating does not occur is false the fact that the goal does not occur hold. sent6: the southwester does not occur. sent7: that both the piecing heterotroph and the wardership occurs prevents the excising. sent8: that the dekko does not occur and the scuffing polemonium does not occur is wrong. sent9: that the shopping does not occur and the alternating does not occur does not hold if the spanging does not occur. sent10: that both the non-judgmentalness and the non-corruptingness happens is wrong. sent11: the fact that the fact that the vaudeville happens but the termination does not occur does not hold is not wrong. sent12: the affray happens. sent13: the repetition happens. sent14: the fact that the inharmoniousness happens is not false if the dactylicness does not occur but the cloning Raskolnikov occurs. sent15: the pruning occurs. sent16: if the petty happens then not the claim but the cryosurgery occurs. sent17: the atomicness does not occur if the fact that the dislodging occurs hold. sent18: if the girdling waterpower does not occur or the deep happens or both the googly happens.
void -> assump1: Let's assume that that the spanging occurs hold.; sent12 & assump1 -> int1: the affray occurs and the spanging happens.; int1 & sent1 -> int2: the inharmoniousness does not occur.; sent4 & sent13 -> int3: the dactylicness does not occur but the cloning Raskolnikov happens.; sent14 & int3 -> int4: the inharmoniousness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the spanging does not occur.; int6 & sent9 -> int7: the fact that the shopping does not occur and the alternatingness does not occur does not hold.; int7 & sent5 -> int8: the goal does not occur.; int8 -> int9: either the goal does not occur or the conic happens or both.; int9 & sent3 -> hypothesis;
$hypothesis$ = that the scuffing Cycliophora does not occur is not incorrect. ; $context$ = sent1: that both the affray and the spanging occurs results in the non-inharmoniousness. sent2: if the resurvey does not occur the fact that both the questionableness and the non-Ephesianness occurs is incorrect. sent3: if the goal does not occur and/or the conic happens then the scuffing Cycliophora occurs. sent4: the non-dactylicness and the cloning Raskolnikov occurs if the fact that the repetition occurs is correct. sent5: if that the shopping does not occur and the alternating does not occur is false the fact that the goal does not occur hold. sent6: the southwester does not occur. sent7: that both the piecing heterotroph and the wardership occurs prevents the excising. sent8: that the dekko does not occur and the scuffing polemonium does not occur is wrong. sent9: that the shopping does not occur and the alternating does not occur does not hold if the spanging does not occur. sent10: that both the non-judgmentalness and the non-corruptingness happens is wrong. sent11: the fact that the fact that the vaudeville happens but the termination does not occur does not hold is not wrong. sent12: the affray happens. sent13: the repetition happens. sent14: the fact that the inharmoniousness happens is not false if the dactylicness does not occur but the cloning Raskolnikov occurs. sent15: the pruning occurs. sent16: if the petty happens then not the claim but the cryosurgery occurs. sent17: the atomicness does not occur if the fact that the dislodging occurs hold. sent18: if the girdling waterpower does not occur or the deep happens or both the googly happens. ; $proof$ = 
void -> assump1: Let's assume that that the spanging occurs hold.; sent12 & assump1 -> int1: the affray occurs and the spanging happens.; int1 & sent1 -> int2: the inharmoniousness does not occur.; sent4 & sent13 -> int3: the dactylicness does not occur but the cloning Raskolnikov happens.; sent14 & int3 -> int4: the inharmoniousness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the spanging does not occur.; int6 & sent9 -> int7: the fact that the shopping does not occur and the alternatingness does not occur does not hold.; int7 & sent5 -> int8: the goal does not occur.; int8 -> int9: either the goal does not occur or the conic happens or both.; int9 & sent3 -> hypothesis; __DISPROVED__