that either the overusing Spheniscus or the tipping raftsman or both occurs is not correct.
sent1: if the comicness does not occur the provocation occurs and the bicycling occurs. sent2: the pose or the overusing Graz or both happens. sent3: the wise does not occur. sent4: if that the flaking groundlessness occurs and the breeding happens is not right then the brutalization does not occur. sent5: the brutalization is prevented by that the breeding does not occur. sent6: if the overusing commandership does not occur then the fact that that the flaking country-dance occurs and the gloriousness happens hold is wrong. sent7: if the overusing Spheniscus does not occur that the flaking groundlessness occurs and the breeding occurs does not hold. sent8: if the dedication does not occur the overusing commandership does not occur. sent9: the fact that the overusing tailorbird happens hold if the wise does not occur. sent10: the flaking country-dance happens. sent11: if the wise does not occur then the brutalization happens and the overusing tailorbird occurs. sent12: if the brutalization happens and the overusing Spheniscus does not occur the unconditionalness happens. sent13: the fact that both the overusing Maxim and the narrowedness happens is not true. sent14: the branchiateness does not occur. sent15: the overusing tailorbird happens.
void -> assump1: Let's assume that the overusing Spheniscus does not occur.; sent7 & assump1 -> int1: the fact that the flaking groundlessness and the breeding occurs is not true.; int1 & sent4 -> int2: the brutalization does not occur.; sent11 & sent3 -> int3: the brutalization happens and the overusing tailorbird happens.; int3 -> int4: the brutalization happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the overusing Spheniscus occurs.; int6 -> hypothesis;
that the overusing Spheniscus happens or the tipping raftsman occurs or both is incorrect.
 -> hypothesis;
$hypothesis$ = that either the overusing Spheniscus or the tipping raftsman or both occurs is not correct. ; $context$ = sent1: if the comicness does not occur the provocation occurs and the bicycling occurs. sent2: the pose or the overusing Graz or both happens. sent3: the wise does not occur. sent4: if that the flaking groundlessness occurs and the breeding happens is not right then the brutalization does not occur. sent5: the brutalization is prevented by that the breeding does not occur. sent6: if the overusing commandership does not occur then the fact that that the flaking country-dance occurs and the gloriousness happens hold is wrong. sent7: if the overusing Spheniscus does not occur that the flaking groundlessness occurs and the breeding occurs does not hold. sent8: if the dedication does not occur the overusing commandership does not occur. sent9: the fact that the overusing tailorbird happens hold if the wise does not occur. sent10: the flaking country-dance happens. sent11: if the wise does not occur then the brutalization happens and the overusing tailorbird occurs. sent12: if the brutalization happens and the overusing Spheniscus does not occur the unconditionalness happens. sent13: the fact that both the overusing Maxim and the narrowedness happens is not true. sent14: the branchiateness does not occur. sent15: the overusing tailorbird happens. ; $proof$ = 
void -> assump1: Let's assume that the overusing Spheniscus does not occur.; sent7 & assump1 -> int1: the fact that the flaking groundlessness and the breeding occurs is not true.; int1 & sent4 -> int2: the brutalization does not occur.; sent11 & sent3 -> int3: the brutalization happens and the overusing tailorbird happens.; int3 -> int4: the brutalization happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the overusing Spheniscus occurs.; int6 -> hypothesis; __DISPROVED__