that that the antiferromagnetism does not occur is brought about by that the drumming does not occur does not hold.
sent1: if the applying does not occur the fact that the Pakistaniness does not occur is right. sent2: the antiferromagnetism does not occur if the drumming happens. sent3: the drumming happens if the distrustfulness occurs. sent4: the fact that the coloring happens and the circumvention occurs is not right if the distrustfulness does not occur. sent5: if the coloring occurs then the applying does not occur. sent6: the Pakistaniness does not occur. sent7: the fact that the odorlessness happens and the hell occurs is not right. sent8: that the fact that both the coloring and the circumvention occurs does not hold is correct. sent9: if the fact that the trachealness does not occur hold then the fact that that not the freeze-drying bioweapon but the intersecting happens is not true is right. sent10: that both the non-Pakistaniness and the antiferromagnetism happens is caused by that the applying does not occur. sent11: that both the non-coloringness and the circumvention occurs is not right if the distrustfulness does not occur. sent12: the applying does not occur if that the coloring does not occur and the circumvention happens is not correct. sent13: that the Pakistani does not occur and the antiferromagnetism does not occur is triggered by that the applying does not occur. sent14: the antiferromagnetism occurs if the drumming does not occur. sent15: that the endocentricness occurs is true.
void -> assump1: Let's assume that the distrustfulness occurs.; sent3 & assump1 -> int1: the drumming happens.; void -> assump2: Let's assume that the drumming does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the distrustfulness does not occur.; sent11 & int3 -> int4: that both the non-coloringness and the circumvention happens is not correct.; sent12 & int4 -> int5: the applying does not occur.; sent13 & int5 -> int6: the Pakistaniness does not occur and the antiferromagnetism does not occur.; int6 -> int7: the antiferromagnetism does not occur.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that that the antiferromagnetism does not occur is brought about by that the drumming does not occur does not hold. ; $context$ = sent1: if the applying does not occur the fact that the Pakistaniness does not occur is right. sent2: the antiferromagnetism does not occur if the drumming happens. sent3: the drumming happens if the distrustfulness occurs. sent4: the fact that the coloring happens and the circumvention occurs is not right if the distrustfulness does not occur. sent5: if the coloring occurs then the applying does not occur. sent6: the Pakistaniness does not occur. sent7: the fact that the odorlessness happens and the hell occurs is not right. sent8: that the fact that both the coloring and the circumvention occurs does not hold is correct. sent9: if the fact that the trachealness does not occur hold then the fact that that not the freeze-drying bioweapon but the intersecting happens is not true is right. sent10: that both the non-Pakistaniness and the antiferromagnetism happens is caused by that the applying does not occur. sent11: that both the non-coloringness and the circumvention occurs is not right if the distrustfulness does not occur. sent12: the applying does not occur if that the coloring does not occur and the circumvention happens is not correct. sent13: that the Pakistani does not occur and the antiferromagnetism does not occur is triggered by that the applying does not occur. sent14: the antiferromagnetism occurs if the drumming does not occur. sent15: that the endocentricness occurs is true. ; $proof$ = 
void -> assump1: Let's assume that the distrustfulness occurs.; sent3 & assump1 -> int1: the drumming happens.; void -> assump2: Let's assume that the drumming does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the distrustfulness does not occur.; sent11 & int3 -> int4: that both the non-coloringness and the circumvention happens is not correct.; sent12 & int4 -> int5: the applying does not occur.; sent13 & int5 -> int6: the Pakistaniness does not occur and the antiferromagnetism does not occur.; int6 -> int7: the antiferromagnetism does not occur.; [assump2] & int7 -> hypothesis; __DISPROVED__