the fact that if the immanentness happens then either the pastorship does not occur or the nonspecificness happens or both is not correct.
sent1: the disguising scientist does not occur. sent2: the nonspecificness does not occur. sent3: if the clapping vole and the rhizoidalness occurs then the sedimentariness happens. sent4: the reallocation occurs. sent5: the brisantness does not occur. sent6: the disguising lens happens or the julienning GMT occurs or both. sent7: if that the immanentness happens is correct either the pastorship happens or the nonspecificness happens or both. sent8: the disguising leone occurs. sent9: the julienning experimentalism occurs. sent10: that the apposition happens results in either that the julienning lexeme does not occur or that the Pasteurianness happens or both. sent11: either the moderation does not occur or the clapping dairymaid occurs or both. sent12: the unintrusiveness does not occur. sent13: the rhizoidalness does not occur or the reparation occurs or both. sent14: that the immanentness does not occur is prevented by that the reverentness and the pastorship occurs. sent15: the reverentness occurs. sent16: the ensconcing happens. sent17: that that the reverentness and the pastorship happens prevents that the immanentness happens is not wrong. sent18: if the mediatoriness happens then the julienning virino and/or the resorting happens.
void -> assump2: Let's assume that the immanentness happens.; void -> assump1: Let's assume that the pastorship happens.; sent15 & assump1 -> int1: both the reverentness and the pastorship occurs.; sent17 & int1 -> int2: the immanentness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the pastorship does not occur hold.; int4 -> int5: either the pastorship does not occur or the nonspecificness occurs or both.; [assump2] & int5 -> hypothesis;
the ravaging and the mastoidness happens.
$hypothesis$ = the fact that if the immanentness happens then either the pastorship does not occur or the nonspecificness happens or both is not correct. ; $context$ = sent1: the disguising scientist does not occur. sent2: the nonspecificness does not occur. sent3: if the clapping vole and the rhizoidalness occurs then the sedimentariness happens. sent4: the reallocation occurs. sent5: the brisantness does not occur. sent6: the disguising lens happens or the julienning GMT occurs or both. sent7: if that the immanentness happens is correct either the pastorship happens or the nonspecificness happens or both. sent8: the disguising leone occurs. sent9: the julienning experimentalism occurs. sent10: that the apposition happens results in either that the julienning lexeme does not occur or that the Pasteurianness happens or both. sent11: either the moderation does not occur or the clapping dairymaid occurs or both. sent12: the unintrusiveness does not occur. sent13: the rhizoidalness does not occur or the reparation occurs or both. sent14: that the immanentness does not occur is prevented by that the reverentness and the pastorship occurs. sent15: the reverentness occurs. sent16: the ensconcing happens. sent17: that that the reverentness and the pastorship happens prevents that the immanentness happens is not wrong. sent18: if the mediatoriness happens then the julienning virino and/or the resorting happens. ; $proof$ = 
void -> assump2: Let's assume that the immanentness happens.; void -> assump1: Let's assume that the pastorship happens.; sent15 & assump1 -> int1: both the reverentness and the pastorship occurs.; sent17 & int1 -> int2: the immanentness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the pastorship does not occur hold.; int4 -> int5: either the pastorship does not occur or the nonspecificness occurs or both.; [assump2] & int5 -> hypothesis; __DISPROVED__