that both the network and the foothold happens if the fact that the schottische does not occur hold does not hold.
sent1: the abstaining causes that the foothold does not occur and/or that the retardation does not occur. sent2: the abstaining does not occur. sent3: if the abstaining does not occur the fact that both the retardation and the foothold happens hold. sent4: the abstaining occurs if that both the non-olfactoryness and the issue happens is incorrect. sent5: the nickeling tusked does not occur if that not the tornado but the organizing swanflower occurs is not right. sent6: the organizing associateship happens if that the mismanaging Gerbert happens is not right. sent7: the disqualification does not occur if the fact that the network happens and the schottische does not occur is incorrect. sent8: the fact that the western happens hold. sent9: the fact that the olfactoriness does not occur but the issue happens does not hold if the nickeling tusked does not occur. sent10: the pedagogicalness does not occur if the fact that the freckling ultramontane does not occur and the hydrousness does not occur is not correct. sent11: the pounce occurs if the freckling Botox does not occur. sent12: that the foothold does not occur and/or that the retardation does not occur leads to that the foothold does not occur. sent13: if the schottische happens then both the network and the foothold occurs. sent14: the salvage happens if that the phase-out does not occur is not false. sent15: that the freckling ultramontane does not occur and the hydrousness does not occur does not hold if the pouncing occurs. sent16: that the networking does not occur triggers the schottische. sent17: if the pedagogicalness does not occur then that that not the tornado but the organizing swanflower occurs hold is not correct.
void -> assump1: Let's assume that the networking does not occur.; sent16 & assump1 -> int1: the schottische happens.; void -> assump2: Let's assume that the schottische does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the network occurs.; sent3 & sent2 -> int4: the retardation occurs and the foothold happens.; int4 -> int5: the foothold happens.; int3 & int5 -> int6: the network and the foothold happens.; [assump2] & int6 -> hypothesis;
the disqualification does not occur.
$hypothesis$ = that both the network and the foothold happens if the fact that the schottische does not occur hold does not hold. ; $context$ = sent1: the abstaining causes that the foothold does not occur and/or that the retardation does not occur. sent2: the abstaining does not occur. sent3: if the abstaining does not occur the fact that both the retardation and the foothold happens hold. sent4: the abstaining occurs if that both the non-olfactoryness and the issue happens is incorrect. sent5: the nickeling tusked does not occur if that not the tornado but the organizing swanflower occurs is not right. sent6: the organizing associateship happens if that the mismanaging Gerbert happens is not right. sent7: the disqualification does not occur if the fact that the network happens and the schottische does not occur is incorrect. sent8: the fact that the western happens hold. sent9: the fact that the olfactoriness does not occur but the issue happens does not hold if the nickeling tusked does not occur. sent10: the pedagogicalness does not occur if the fact that the freckling ultramontane does not occur and the hydrousness does not occur is not correct. sent11: the pounce occurs if the freckling Botox does not occur. sent12: that the foothold does not occur and/or that the retardation does not occur leads to that the foothold does not occur. sent13: if the schottische happens then both the network and the foothold occurs. sent14: the salvage happens if that the phase-out does not occur is not false. sent15: that the freckling ultramontane does not occur and the hydrousness does not occur does not hold if the pouncing occurs. sent16: that the networking does not occur triggers the schottische. sent17: if the pedagogicalness does not occur then that that not the tornado but the organizing swanflower occurs hold is not correct. ; $proof$ = 
void -> assump1: Let's assume that the networking does not occur.; sent16 & assump1 -> int1: the schottische happens.; void -> assump2: Let's assume that the schottische does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the network occurs.; sent3 & sent2 -> int4: the retardation occurs and the foothold happens.; int4 -> int5: the foothold happens.; int3 & int5 -> int6: the network and the foothold happens.; [assump2] & int6 -> hypothesis; __DISPROVED__