that the non-asteroidalness and the non-wholeness happens does not hold.
sent1: if the impeaching does not occur then the fact that the non-asteroidalness and the whole happens does not hold. sent2: if that the tripping babirusa and the curvet occurs is false then the interrupt does not occur. sent3: that the stimulativeness and the impeaching happens prevents that the Manichaeanness happens. sent4: the fact that if the impeaching does not occur that both the asteroidalness and the non-wholeness happens is not correct hold. sent5: if the impeaching does not occur then the fact that the asteroidalness does not occur and the wholeness does not occur is not correct. sent6: that both the asteroidalness and the non-wholeness occurs is not right. sent7: that both the stimulativeness and the Manichaean occurs is not right if the interrupting does not occur. sent8: that both the non-asteroidalness and the whole occurs is not true. sent9: the Manichaeanness occurs. sent10: the thermoelectricity happens. sent11: the lay-up happens. sent12: that the stimulativeness occurs is triggered by the thermoelectricity.
sent12 & sent10 -> int1: the stimulativeness occurs.; void -> assump1: Let's assume that the fact that the impeaching happens is not wrong.; int1 & assump1 -> int2: the stimulativeness and the impeaching happens.; int2 & sent3 -> int3: the Manichaean does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the impeaching does not occur.; int5 & sent5 -> hypothesis;
the fact that both the non-asteroidalness and the non-wholeness happens is right.
$hypothesis$ = that the non-asteroidalness and the non-wholeness happens does not hold. ; $context$ = sent1: if the impeaching does not occur then the fact that the non-asteroidalness and the whole happens does not hold. sent2: if that the tripping babirusa and the curvet occurs is false then the interrupt does not occur. sent3: that the stimulativeness and the impeaching happens prevents that the Manichaeanness happens. sent4: the fact that if the impeaching does not occur that both the asteroidalness and the non-wholeness happens is not correct hold. sent5: if the impeaching does not occur then the fact that the asteroidalness does not occur and the wholeness does not occur is not correct. sent6: that both the asteroidalness and the non-wholeness occurs is not right. sent7: that both the stimulativeness and the Manichaean occurs is not right if the interrupting does not occur. sent8: that both the non-asteroidalness and the whole occurs is not true. sent9: the Manichaeanness occurs. sent10: the thermoelectricity happens. sent11: the lay-up happens. sent12: that the stimulativeness occurs is triggered by the thermoelectricity. ; $proof$ = 
sent12 & sent10 -> int1: the stimulativeness occurs.; void -> assump1: Let's assume that the fact that the impeaching happens is not wrong.; int1 & assump1 -> int2: the stimulativeness and the impeaching happens.; int2 & sent3 -> int3: the Manichaean does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the impeaching does not occur.; int5 & sent5 -> hypothesis; __PROVED__