that the non-hircineness and the non-imperialisticness occurs is false.
sent1: the fact that the Saturnalia happens is not incorrect if that the ginning paella but not the Saturnalia happens is wrong. sent2: if the centesimalness happens the imperialisticness does not occur. sent3: the glaring and the fallibleness happens. sent4: if that that both the Quechuanness and the neolithicness happens is true is not true the ginning ouster does not occur. sent5: that both the Quechuanness and the neolithicness happens does not hold if the ginning paella does not occur. sent6: if the harassment does not occur and/or the ginning paella happens then the glare does not occur. sent7: the hircineness is prevented by that the ginning ouster does not occur or the preclinicalness does not occur or both. sent8: if the inspiration does not occur that the centesimalness occurs and the dogmaticness happens is right. sent9: the inspiration does not occur and the condensate occurs. sent10: the non-neolithicness triggers that the glaring and the ginning paella happens. sent11: if the harassment does not occur then that both the non-hircineness and the non-imperialisticness happens is wrong. sent12: that the glare and the ginning paella occurs prevents that the harassment happens.
void -> assump1: Let's assume that the ginning paella occurs.; assump1 -> int1: either the harassment does not occur or the ginning paella happens or both.; int1 & sent6 -> int2: the glaring does not occur.; sent3 -> int3: that the glaring occurs is correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the ginning paella does not occur.; int5 & sent5 -> int6: that the Quechuanness occurs and the neolithicness happens does not hold.; int6 & sent4 -> int7: the ginning ouster does not occur.; int7 -> int8: either the ginning ouster does not occur or the preclinicalness does not occur or both.; int8 & sent7 -> int9: the hircineness does not occur.; sent9 -> int10: the inspiration does not occur.; sent8 & int10 -> int11: the centesimalness and the dogmaticness happens.; int11 -> int12: the centesimalness happens.; sent2 & int12 -> int13: the imperialisticness does not occur.; int9 & int13 -> hypothesis;
the fact that both the non-hircineness and the non-imperialisticness occurs does not hold.
$hypothesis$ = that the non-hircineness and the non-imperialisticness occurs is false. ; $context$ = sent1: the fact that the Saturnalia happens is not incorrect if that the ginning paella but not the Saturnalia happens is wrong. sent2: if the centesimalness happens the imperialisticness does not occur. sent3: the glaring and the fallibleness happens. sent4: if that that both the Quechuanness and the neolithicness happens is true is not true the ginning ouster does not occur. sent5: that both the Quechuanness and the neolithicness happens does not hold if the ginning paella does not occur. sent6: if the harassment does not occur and/or the ginning paella happens then the glare does not occur. sent7: the hircineness is prevented by that the ginning ouster does not occur or the preclinicalness does not occur or both. sent8: if the inspiration does not occur that the centesimalness occurs and the dogmaticness happens is right. sent9: the inspiration does not occur and the condensate occurs. sent10: the non-neolithicness triggers that the glaring and the ginning paella happens. sent11: if the harassment does not occur then that both the non-hircineness and the non-imperialisticness happens is wrong. sent12: that the glare and the ginning paella occurs prevents that the harassment happens. ; $proof$ = 
void -> assump1: Let's assume that the ginning paella occurs.; assump1 -> int1: either the harassment does not occur or the ginning paella happens or both.; int1 & sent6 -> int2: the glaring does not occur.; sent3 -> int3: that the glaring occurs is correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the ginning paella does not occur.; int5 & sent5 -> int6: that the Quechuanness occurs and the neolithicness happens does not hold.; int6 & sent4 -> int7: the ginning ouster does not occur.; int7 -> int8: either the ginning ouster does not occur or the preclinicalness does not occur or both.; int8 & sent7 -> int9: the hircineness does not occur.; sent9 -> int10: the inspiration does not occur.; sent8 & int10 -> int11: the centesimalness and the dogmaticness happens.; int11 -> int12: the centesimalness happens.; sent2 & int12 -> int13: the imperialisticness does not occur.; int9 & int13 -> hypothesis; __DISPROVED__