the asteroidalness occurs and the purchase occurs.
sent1: the geminating happens if that the muzzling does not occur and the geminating does not occur does not hold. sent2: if the geminating happens then the non-microeconomicsness and the non-Sikhness occurs. sent3: the non-asteroidalness yields that the self-help happens and/or that the contrivance does not occur. sent4: if the derogation happens the self-help occurs. sent5: the spilling pentathlon does not occur if the microeconomicsness does not occur. sent6: the contrivance and the asteroidalness occurs if the raving does not occur. sent7: the trick happens. sent8: the fact that the microeconomicsness occurs and the spilling pentathlon does not occur is not right. sent9: if that the fact that the microeconomicsness but not the spilling pentathlon occurs is not true is right then the derogation occurs. sent10: the mindfulness occurs. sent11: the fact that both the asteroidalness and the purchase occurs is wrong if the mindfulness does not occur. sent12: if the mindfulness happens and the rave happens then the self-help does not occur. sent13: if the raving occurs and/or the mindfulness does not occur then the balling happens. sent14: the purchase happens.
void -> assump1: Let's assume that the fact that the raving occurs is not wrong.; sent10 & assump1 -> int1: the mindfulness and the rave occurs.; int1 & sent12 -> int2: that the self-help does not occur is right.; sent9 & sent8 -> int3: the derogation occurs.; sent4 & int3 -> int4: the self-help occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rave does not occur.; int6 & sent6 -> int7: the contrivance happens and the asteroidalness occurs.; int7 -> int8: the asteroidalness happens.; int8 & sent14 -> hypothesis;
the fact that the asteroidalness and the purchase happens is not right.
$hypothesis$ = the asteroidalness occurs and the purchase occurs. ; $context$ = sent1: the geminating happens if that the muzzling does not occur and the geminating does not occur does not hold. sent2: if the geminating happens then the non-microeconomicsness and the non-Sikhness occurs. sent3: the non-asteroidalness yields that the self-help happens and/or that the contrivance does not occur. sent4: if the derogation happens the self-help occurs. sent5: the spilling pentathlon does not occur if the microeconomicsness does not occur. sent6: the contrivance and the asteroidalness occurs if the raving does not occur. sent7: the trick happens. sent8: the fact that the microeconomicsness occurs and the spilling pentathlon does not occur is not right. sent9: if that the fact that the microeconomicsness but not the spilling pentathlon occurs is not true is right then the derogation occurs. sent10: the mindfulness occurs. sent11: the fact that both the asteroidalness and the purchase occurs is wrong if the mindfulness does not occur. sent12: if the mindfulness happens and the rave happens then the self-help does not occur. sent13: if the raving occurs and/or the mindfulness does not occur then the balling happens. sent14: the purchase happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the raving occurs is not wrong.; sent10 & assump1 -> int1: the mindfulness and the rave occurs.; int1 & sent12 -> int2: that the self-help does not occur is right.; sent9 & sent8 -> int3: the derogation occurs.; sent4 & int3 -> int4: the self-help occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rave does not occur.; int6 & sent6 -> int7: the contrivance happens and the asteroidalness occurs.; int7 -> int8: the asteroidalness happens.; int8 & sent14 -> hypothesis; __PROVED__