that the fenestralness but not the constellating happens is not true.
sent1: if the fact that the blinding Afroasiatic occurs and the confederating does not occur is not correct the blinding Norlestrin does not occur. sent2: if that the fact that the transmigration happens but the monstrosity does not occur is true does not hold the monstrosity occurs. sent3: that the transmigration happens but the monstrosity does not occur does not hold. sent4: the fenestralness happens and the constellating does not occur if the daycare does not occur. sent5: that the daycare does not occur is brought about by that not the leaning Redskin but the pentavalentness happens. sent6: if the confederate happens the pentavalentness occurs. sent7: the fact that both the non-Alaskanness and the non-cervineness occurs is incorrect if the confederating does not occur. sent8: the fenestralness happens if the daycare does not occur. sent9: if the fact that the Alaskanness does not occur and the cervineness does not occur is not true then the blinding Afroasiatic does not occur. sent10: that the unawaresness does not occur and the leaning Redskin does not occur is brought about by the monstrosity. sent11: both the accoutering nutcracker and the blinding Afroasiatic happens. sent12: if the fenestralness happens then that the leaning Redskin does not occur and the daycare occurs is false.
void -> assump1: Let's assume that the confederate does not occur.; sent7 & assump1 -> int1: that the non-Alaskanness and the non-cervineness occurs is false.; int1 & sent9 -> int2: the blinding Afroasiatic does not occur.; sent11 -> int3: the blinding Afroasiatic occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the confederating occurs.; int5 & sent6 -> int6: that the pentavalentness does not occur is not true.; sent2 & sent3 -> int7: the monstrosity occurs.; sent10 & int7 -> int8: the unawaresness does not occur and the leaning Redskin does not occur.; int8 -> int9: the leaning Redskin does not occur.; int6 & int9 -> int10: the leaning Redskin does not occur but the pentavalentness occurs.; int10 & sent5 -> int11: the daycare does not occur.; int11 & sent4 -> hypothesis;
the blinding Norlestrin does not occur.
$hypothesis$ = that the fenestralness but not the constellating happens is not true. ; $context$ = sent1: if the fact that the blinding Afroasiatic occurs and the confederating does not occur is not correct the blinding Norlestrin does not occur. sent2: if that the fact that the transmigration happens but the monstrosity does not occur is true does not hold the monstrosity occurs. sent3: that the transmigration happens but the monstrosity does not occur does not hold. sent4: the fenestralness happens and the constellating does not occur if the daycare does not occur. sent5: that the daycare does not occur is brought about by that not the leaning Redskin but the pentavalentness happens. sent6: if the confederate happens the pentavalentness occurs. sent7: the fact that both the non-Alaskanness and the non-cervineness occurs is incorrect if the confederating does not occur. sent8: the fenestralness happens if the daycare does not occur. sent9: if the fact that the Alaskanness does not occur and the cervineness does not occur is not true then the blinding Afroasiatic does not occur. sent10: that the unawaresness does not occur and the leaning Redskin does not occur is brought about by the monstrosity. sent11: both the accoutering nutcracker and the blinding Afroasiatic happens. sent12: if the fenestralness happens then that the leaning Redskin does not occur and the daycare occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the confederate does not occur.; sent7 & assump1 -> int1: that the non-Alaskanness and the non-cervineness occurs is false.; int1 & sent9 -> int2: the blinding Afroasiatic does not occur.; sent11 -> int3: the blinding Afroasiatic occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the confederating occurs.; int5 & sent6 -> int6: that the pentavalentness does not occur is not true.; sent2 & sent3 -> int7: the monstrosity occurs.; sent10 & int7 -> int8: the unawaresness does not occur and the leaning Redskin does not occur.; int8 -> int9: the leaning Redskin does not occur.; int6 & int9 -> int10: the leaning Redskin does not occur but the pentavalentness occurs.; int10 & sent5 -> int11: the daycare does not occur.; int11 & sent4 -> hypothesis; __DISPROVED__