if the planktonicness happens not the nourishment but the confutation occurs.
sent1: that the nesting miner does not occur or the embodiment does not occur or both is not correct. sent2: if the massage does not occur then the fact that the Bantoidness occurs and the nesting RAM occurs hold. sent3: the neglecting sickle leads to that the nesting miner does not occur and the embodiment does not occur. sent4: the oceanicness does not occur if the fact that the nesting miner does not occur or the embodiment happens or both is false. sent5: the skimping happens. sent6: the fact that the oceanicness does not occur is not false if the fact that either the nesting miner does not occur or the embodiment does not occur or both is not correct. sent7: the confutation does not occur if the categoricalness does not occur. sent8: if the embodiment does not occur then that that the categoricalness and the oceanicness happens hold does not hold. sent9: the planktonicness does not occur if the nourishment occurs. sent10: the predictableness happens. sent11: the heterosexualness does not occur if not the nourishment but the planktonicness occurs. sent12: that that the phallicness occurs triggers the neglecting progenitor hold. sent13: the shipping occurs. sent14: the flagellate happens if the Mishnaicness does not occur. sent15: if the oceanicness does not occur then the confutation occurs and the categoricalness happens. sent16: the nourishment does not occur but the planktonicness occurs if the confutation does not occur.
void -> assump2: Let's assume that the fact that the nourishment occurs is correct.; sent9 & assump2 -> int1: the planktonicness does not occur.; void -> assump1: Let's assume that the planktonicness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the nourishment does not occur.; sent6 & sent1 -> int4: that the oceanicness does not occur is not incorrect.; sent15 & int4 -> int5: both the confutation and the categoricalness occurs.; int5 -> int6: the confutation occurs.; int3 & int6 -> int7: the nourishment does not occur but the confutation happens.; [assump1] & int7 -> hypothesis;
the heterosexual does not occur.
$hypothesis$ = if the planktonicness happens not the nourishment but the confutation occurs. ; $context$ = sent1: that the nesting miner does not occur or the embodiment does not occur or both is not correct. sent2: if the massage does not occur then the fact that the Bantoidness occurs and the nesting RAM occurs hold. sent3: the neglecting sickle leads to that the nesting miner does not occur and the embodiment does not occur. sent4: the oceanicness does not occur if the fact that the nesting miner does not occur or the embodiment happens or both is false. sent5: the skimping happens. sent6: the fact that the oceanicness does not occur is not false if the fact that either the nesting miner does not occur or the embodiment does not occur or both is not correct. sent7: the confutation does not occur if the categoricalness does not occur. sent8: if the embodiment does not occur then that that the categoricalness and the oceanicness happens hold does not hold. sent9: the planktonicness does not occur if the nourishment occurs. sent10: the predictableness happens. sent11: the heterosexualness does not occur if not the nourishment but the planktonicness occurs. sent12: that that the phallicness occurs triggers the neglecting progenitor hold. sent13: the shipping occurs. sent14: the flagellate happens if the Mishnaicness does not occur. sent15: if the oceanicness does not occur then the confutation occurs and the categoricalness happens. sent16: the nourishment does not occur but the planktonicness occurs if the confutation does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the nourishment occurs is correct.; sent9 & assump2 -> int1: the planktonicness does not occur.; void -> assump1: Let's assume that the planktonicness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the nourishment does not occur.; sent6 & sent1 -> int4: that the oceanicness does not occur is not incorrect.; sent15 & int4 -> int5: both the confutation and the categoricalness occurs.; int5 -> int6: the confutation occurs.; int3 & int6 -> int7: the nourishment does not occur but the confutation happens.; [assump1] & int7 -> hypothesis; __PROVED__