the IPO occurs.
sent1: that the quiescence does not occur but the catkinateness occurs is not true if the smut does not occur. sent2: if that the catkinateness does not occur and the quiescence does not occur is false then the femoralness occurs. sent3: the aerobicness does not occur. sent4: the cutness does not occur. sent5: the collaboration does not occur. sent6: the quiescence does not occur and the nonproprietariness does not occur. sent7: that the smut does not occur and the cut does not occur is brought about by the collaboration. sent8: the nonproprietariness does not occur. sent9: the smutting occurs if the cutting does not occur and the collaboration does not occur. sent10: the quiescence occurs if the catkinateness happens. sent11: that the smutting does not occur and the IPO does not occur is brought about by the cut. sent12: the IPO happens if the fact that the smutting but not the catkinateness occurs hold.
void -> assump1: Let's assume that the catkinateness occurs.; sent10 & assump1 -> int1: the quiescence occurs.; sent6 -> int2: the quiescence does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the catkinateness does not occur.; sent4 & sent5 -> int5: the cutness does not occur and the collaboration does not occur.; sent9 & int5 -> int6: the smut occurs.; int4 & int6 -> int7: the smutting and the non-catkinateness happens.; int7 & sent12 -> hypothesis;
the IPO does not occur.
$hypothesis$ = the IPO occurs. ; $context$ = sent1: that the quiescence does not occur but the catkinateness occurs is not true if the smut does not occur. sent2: if that the catkinateness does not occur and the quiescence does not occur is false then the femoralness occurs. sent3: the aerobicness does not occur. sent4: the cutness does not occur. sent5: the collaboration does not occur. sent6: the quiescence does not occur and the nonproprietariness does not occur. sent7: that the smut does not occur and the cut does not occur is brought about by the collaboration. sent8: the nonproprietariness does not occur. sent9: the smutting occurs if the cutting does not occur and the collaboration does not occur. sent10: the quiescence occurs if the catkinateness happens. sent11: that the smutting does not occur and the IPO does not occur is brought about by the cut. sent12: the IPO happens if the fact that the smutting but not the catkinateness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the catkinateness occurs.; sent10 & assump1 -> int1: the quiescence occurs.; sent6 -> int2: the quiescence does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the catkinateness does not occur.; sent4 & sent5 -> int5: the cutness does not occur and the collaboration does not occur.; sent9 & int5 -> int6: the smut occurs.; int4 & int6 -> int7: the smutting and the non-catkinateness happens.; int7 & sent12 -> hypothesis; __PROVED__