the high-interestness occurs and the inspissation does not occur.
sent1: that both the non-vehicularness and the non-psychosexualness happens is brought about by that the transparency does not occur. sent2: that the deploying happens leads to the vehicularness. sent3: if that the flushing does not occur is not false then that the plantarness does not occur and the curbing does not occur does not hold. sent4: if the pacificness does not occur then the fact that the inspissation and the Pound happens is incorrect. sent5: that the Pound does not occur is brought about by that the psychosexualness occurs and the pacificness happens. sent6: the curbing occurs. sent7: the pacificness does not occur if that the plantarness does not occur and the curbing does not occur does not hold. sent8: the heeling IAEA and the non-asymptoticness happens. sent9: if the deploying does not occur the fact that the high-interestness happens and the inspissation does not occur does not hold. sent10: the fact that both the high-interestness and the inspissation occurs is incorrect. sent11: if the vehicularness occurs then the Pound happens. sent12: that the Pound does not occur is triggered by that the psychosexualness but not the pacificness occurs. sent13: if that the inspissation and the Pound occurs is wrong the inspissation does not occur. sent14: both the psychosexualness and the non-pacificness occurs if the curb happens. sent15: the curb yields that the pacificness does not occur.
void -> assump1: Let's assume that the deploying occurs.; sent2 & assump1 -> int1: the vehicularness happens.; int1 & sent11 -> int2: the Pound happens.; sent14 & sent6 -> int3: both the psychosexualness and the non-pacificness happens.; sent12 & int3 -> int4: the Pound does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the deploying does not occur.; int6 & sent9 -> hypothesis;
the high-interestness but not the inspissation occurs.
$hypothesis$ = the high-interestness occurs and the inspissation does not occur. ; $context$ = sent1: that both the non-vehicularness and the non-psychosexualness happens is brought about by that the transparency does not occur. sent2: that the deploying happens leads to the vehicularness. sent3: if that the flushing does not occur is not false then that the plantarness does not occur and the curbing does not occur does not hold. sent4: if the pacificness does not occur then the fact that the inspissation and the Pound happens is incorrect. sent5: that the Pound does not occur is brought about by that the psychosexualness occurs and the pacificness happens. sent6: the curbing occurs. sent7: the pacificness does not occur if that the plantarness does not occur and the curbing does not occur does not hold. sent8: the heeling IAEA and the non-asymptoticness happens. sent9: if the deploying does not occur the fact that the high-interestness happens and the inspissation does not occur does not hold. sent10: the fact that both the high-interestness and the inspissation occurs is incorrect. sent11: if the vehicularness occurs then the Pound happens. sent12: that the Pound does not occur is triggered by that the psychosexualness but not the pacificness occurs. sent13: if that the inspissation and the Pound occurs is wrong the inspissation does not occur. sent14: both the psychosexualness and the non-pacificness occurs if the curb happens. sent15: the curb yields that the pacificness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the deploying occurs.; sent2 & assump1 -> int1: the vehicularness happens.; int1 & sent11 -> int2: the Pound happens.; sent14 & sent6 -> int3: both the psychosexualness and the non-pacificness happens.; sent12 & int3 -> int4: the Pound does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the deploying does not occur.; int6 & sent9 -> hypothesis; __DISPROVED__